EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 201-201 | WesternAfrica engloba EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 221-221 | WesternEurope engloba EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4640-4640 | ArcticOcean e' parcialmente localizado em EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4578-4578 | NorthPacificOcean e' parcialmente localizado em EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4592-4592 | NortheasternPacificOcean e' parcialmente localizado em EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4560-4560 | SouthAtlanticOcean e' parcialmente localizado em EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4618-4618 | SouthPacificOcean e' parcialmente localizado em EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4656-4656 | SouthernOcean e' parcialmente localizado em 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 |