|
|
  EasternHemisphere
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3481-3482 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1742-1742 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3480-3480 | 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 3525-3525 | Africa is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3552-3552 | 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 3540-3540 | Antarctica and eastern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3582-3582 | Arctic region and eastern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3545-3545 | Europe and eastern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 194-194 | Northern africa and eastern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3558-3558 | Oceania and eastern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 228-228 | Southwestern europe and eastern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3619-3619 | Tropics and eastern hemisphere 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 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 |
|
|
|
