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" and 中南美洲 |
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 |
|