WesternHemisphere(western hemisphere) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4619-4619 | South pacific ocean is partly located in western hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4657-4657 | Southern ocean is partly located in western hemisphere |
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 |