| EasternHemisphere(eastern hemisphere)
| | eastern_hemisphere, orient |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3403-3404 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1743-1743 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3402-3402 | Eastern hemisphere is an instance of hemisphere |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3447-3447 | Africa is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3474-3474 | Asia is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 186-186 | Central africa is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 256-256 | Central asia is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 212-212 | Central europe is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 190-190 | Eastern africa is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 259-259 | Eastern asia is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 209-209 | Eastern europe is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 206-206 | Middle east region is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 262-262 | Northern asia is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 215-215 | Northern europe is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1676-1676 | Northern sea route is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 268-268 | Southeastern asia is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 225-225 | Southeastern europe is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 198-198 | Southern africa is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 264-264 | Southern asia is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 218-218 | Southern europe is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 272-272 | Southwestern asia is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3462-3462 | Antarctica and eastern hemisphere is overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3504-3504 | Arctic region and eastern hemisphere is overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3467-3467 | Europe and eastern hemisphere is overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 194-194 | Northern africa and eastern hemisphere is overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3480-3480 | Oceania and eastern hemisphere is overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 228-228 | Southwestern europe and eastern hemisphere is overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3541-3541 | Tropics and eastern hemisphere is overlapsSpatially |
| 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 3410-3416 | 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 |
|
|
|