| 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 | EasternHemisphere est une instance de Hemisphere |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3525-3525 | geographicSubregion Africa and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3552-3552 | geographicSubregion Asia and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 186-186 | geographicSubregion CentralAfrica and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 256-256 | geographicSubregion CentralAsia and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 212-212 | geographicSubregion CentralEurope and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 190-190 | geographicSubregion EasternAfrica and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 259-259 | geographicSubregion EasternAsia and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 209-209 | geographicSubregion EasternEurope and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 206-206 | geographicSubregion MiddleEastRegion and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 262-262 | geographicSubregion NorthernAsia and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 215-215 | geographicSubregion NorthernEurope and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1676-1676 | geographicSubregion NorthernSeaRoute and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 268-268 | geographicSubregion SoutheasternAsia and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 225-225 | geographicSubregion SoutheasternEurope and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 198-198 | geographicSubregion SouthernAfrica and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 264-264 | geographicSubregion SouthernAsia and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 218-218 | geographicSubregion SouthernEurope and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 272-272 | geographicSubregion SouthwesternAsia and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3540-3540 | Antarctica recouvre EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3582-3582 | ArcticRegion recouvre EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3545-3545 | Europe recouvre EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 194-194 | NorthernAfrica recouvre EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3558-3558 | Oceania recouvre EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 228-228 | SouthwesternEurope recouvre EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3619-3619 | Tropics recouvre EasternHemisphere |
| 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 |
|
|
|