No TPTP formula. May not be expressible in strict first order. |
Government.kif 2962-2962 |
中歐倡議 是 "CEI" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2961-2961 |
中歐倡議 是 "Central European Initiative" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2964-2964 |
"Hexagonal Initiative" 是對於 中歐倡議 的 former name |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2963-2963 |
"Quadrilateral Initiative" 是對於 中歐倡議 的 former name |
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 |
|