| WesternHemisphere(western hemisphere)
| | New_World, Occident, West, occident, western_hemisphere |
| 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 | Western hemisphere is an instance of hemisphere |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 233-233 | Caribbean region is a geographic subregion of western hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 238-238 | Central south america is a geographic subregion of western hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 241-241 | Eastern south america is a geographic subregion of western hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 236-236 | Middle america is a geographic subregion of western hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 207-207 | Middle east region is a geographic subregion of western hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3529-3529 | North america is a geographic subregion of western hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4546-4546 | North atlantic ocean is a geographic subregion of western hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 245-245 | Northern south america is a geographic subregion of western hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1667-1667 | Northwest passage is a geographic subregion of western hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3535-3535 | South america is a geographic subregion of western hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 249-249 | Southern south america is a geographic subregion of western hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 252-252 | Western south america is a geographic subregion of western hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3541-3541 | Antarctica and western hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3583-3583 | Arctic region and western hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3546-3546 | Europe and western hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 195-195 | Northern africa and western hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3559-3559 | Oceania and western hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 229-229 | Southwestern europe and western hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3620-3620 | Tropics and western hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 202-202 | Western africa and western hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 222-222 | Western europe and western hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4641-4641 | Arctic ocean is partly located in western hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4579-4579 | North pacific ocean is partly located in western hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4605-4605 | Northwestern Pacific Ocean is partly located in western hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4559-4559 | South atlantic ocean is partly located in western hemisphere |
| 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 | An entity is an instance of hemisphere if and only if the entity is equal to northern hemisphere or the entity is equal to southern hemisphere or the entity is equal to eastern hemisphere or the entity is equal to western hemisphere |
|
|
|