WesternHemisphere |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3485-3486 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2060-2060 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3484-3484 | WesternHemisphere est une instance de Hemisphere |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 233-233 | geographicSubregion CaribbeanRegion and WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 238-238 | geographicSubregion CentralSouthAmerica and WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 241-241 | geographicSubregion EasternSouthAmerica and WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 236-236 | geographicSubregion MiddleAmerica and WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 207-207 | geographicSubregion MiddleEastRegion and WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3529-3529 | geographicSubregion NorthAmerica and WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4546-4546 | geographicSubregion NorthAtlanticOcean and WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 245-245 | geographicSubregion NorthernSouthAmerica and WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1667-1667 | geographicSubregion NorthwestPassage and WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3535-3535 | geographicSubregion SouthAmerica and WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 249-249 | geographicSubregion SouthernSouthAmerica and WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 252-252 | geographicSubregion WesternSouthAmerica and WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3541-3541 | Antarctica recouvre WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3583-3583 | ArcticRegion recouvre WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3546-3546 | Europe recouvre WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 195-195 | NorthernAfrica recouvre WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3559-3559 | Oceania recouvre WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 229-229 | SouthwesternEurope recouvre WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3620-3620 | Tropics recouvre WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 202-202 | WesternAfrica recouvre WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 222-222 | WesternEurope recouvre WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4641-4641 | ArcticOcean est partiellement localis� � WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4579-4579 | NorthPacificOcean est partiellement localis� � WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4605-4605 | NorthwesternPacificOcean est partiellement localis� � WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4559-4559 | SouthAtlanticOcean est partiellement localis� � WesternHemisphere |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3488-3494 | Entit� est une instance de Hemisphere entit� est NorthernHemisphere entit� est SouthernHemisphere entit� est EasternHemisphere entit� est WesternHemisphere |