|
|
  SouthernHemisphere
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3477-3478 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1995-1995 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3476-3476 | SouthernHemisphere est une instance de Hemisphere |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3539-3539 | geographicSubregion Antarctica and SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 239-239 | geographicSubregion CentralSouthAmerica and SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4558-4558 | geographicSubregion SouthAtlanticOcean and SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4617-4617 | geographicSubregion SouthPacificOcean and SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 199-199 | geographicSubregion SouthernAfrica and SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4655-4655 | geographicSubregion SouthernOcean and SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 250-250 | geographicSubregion SouthernSouthAmerica and SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3524-3524 | Africa recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3551-3551 | Asia recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 188-188 | CentralAfrica recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 192-192 | EasternAfrica recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 243-243 | EasternSouthAmerica recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 247-247 | NorthernSouthAmerica recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3557-3557 | Oceania recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3534-3534 | SouthAmerica recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 270-270 | SoutheasternAsia recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 266-266 | SouthernAsia recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3618-3618 | Tropics recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 204-204 | WesternAfrica recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 254-254 | WesternSouthAmerica recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54216-54216 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54215-54215 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54214-54214 |
| 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 |
|
|
|
