No TPTP formula. May not be expressible in strict first order. |
Government.kif 2962-2962 |
abbreviation "CEI" and CentralEuropeanInitiative |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2961-2961 |
conventionalLongName "Central European Initiative" and CentralEuropeanInitiative |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2964-2964 |
formerName "Hexagonal Initiative" and CentralEuropeanInitiative |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2963-2963 |
formerName "Quadrilateral Initiative" and CentralEuropeanInitiative |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13854-13854 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13853-13853 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13852-13852 |
|