No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 85-85 |
布隆迪 是 中非 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 87-87 |
中非共和國 是 中非 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 89-89 |
Chad 是 中非 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 91-91 |
剛果民主共和國 是 中非 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 93-93 |
盧旺達 是 中非 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 108-108 |
名 "Central Africa" and 中非 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13770-13770 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13769-13769 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13768-13768 |
|