No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 522-522 |
厄瓜多尔 是 西南美洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 524-524 |
秘鲁 是 西南美洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 130-130 |
西南美洲 的名 是 "Western South America" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62847-62847 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62846-62846 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62845-62845 |
|