|
|
  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 e' uma instancia 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 engloba EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3582-3582 | ArcticRegion engloba EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3545-3545 | Europe engloba EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 194-194 | NorthernAfrica engloba EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3558-3558 | Oceania engloba EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 228-228 | SouthwesternEurope engloba EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3619-3619 | Tropics engloba 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 | Entidade e' uma instancia de Hemisphere Entidade e' igual a NorthernHemisphere Entidade e' igual a SouthernHemisphere Entidade e' igual a EasternHemisphere Entidade e' igual a WesternHemisphere |
|
|
|
