No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 471-471 |
伯利茲 是 中美洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 473-473 |
Clipperton島 是 中美洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 474-474 |
哥斯達黎加 是 中美洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 476-476 |
薩爾瓦多 是 中美洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 478-478 |
危地馬拉 是 中美洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 480-480 |
洪都拉斯 是 中美洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 482-482 |
墨西哥 是 中美洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 484-484 |
尼加拉瓜 是 中美洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 486-486 |
巴拿馬 是 中美洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 125-125 |
名 "Middle America" and 中美洲 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37457-37457 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37456-37456 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37455-37455 |
|