No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 804-804 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 814-814 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 483-483 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 815-815 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 435-435 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 505-505 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 385-385 |
行政中心 是 地缘政治分区 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 403-403 |
主要地缘政治细分 是 地缘政治分区 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 805-805 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25842-25842 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25841-25841 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25840-25840 |
|