No TPTP formula. May not be expressible in strict first order. |
Government.kif 2926-2926 |
abbreviation "CEI" and CentralEuropeanInitiative |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2925-2925 |
conventionalLongName "Central European Initiative" and CentralEuropeanInitiative |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2928-2928 |
formerName "Hexagonal Initiative" and CentralEuropeanInitiative |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2927-2927 |
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 |
|