No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 495-495 |
玻利维亚 是 中南美洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 497-497 |
巴拉圭 是 中南美洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 126-126 |
中南美洲 的名 是 "Central South America" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13896-13896 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13895-13895 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13894-13894 |
|