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