No TPTP formula. May not be expressible in strict first order. |
Government.kif 2962-2962 |
"CEI" is an abbreviation of central european initiative |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2961-2961 |
Central european initiative is a conventional long name of "Central European Initiative" |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2964-2964 |
"Hexagonal Initiative" is a former name for central european initiative |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2963-2963 |
"Quadrilateral Initiative" is a former name for central european initiative |
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 |
|