WesternHemisphere(西半球) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4619-4619 | 部分位於 南太平洋 and 西半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4657-4657 | 部分位於 南部海洋 and 西半球 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62799-62799 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62798-62798 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62797-62797 |