No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 513-513 |
阿根廷 是 南美洲南部 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 515-515 |
智利 是 南美洲南部 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 517-517 |
福克兰群岛 是 南美洲南部 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 518-518 |
南佐治亚和南三明治岛屿 是 南美洲南部 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 519-519 |
乌拉圭 是 南美洲南部 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 129-129 |
南美洲南部 的名 是 "Southern South America" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54258-54258 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54257-54257 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54256-54256 |
|