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