EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 201-201 | WesternAfrica recouvre EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 221-221 | WesternEurope recouvre EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4640-4640 | ArcticOcean est partiellement localis� � EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4578-4578 | NorthPacificOcean est partiellement localis� � EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4592-4592 | NortheasternPacificOcean est partiellement localis� � EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4560-4560 | SouthAtlanticOcean est partiellement localis� � EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4618-4618 | SouthPacificOcean est partiellement localis� � EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4656-4656 | SouthernOcean est partiellement localis� � EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20904-20904 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20903-20903 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20902-20902 |