| 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 e' uma instancia 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 engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3551-3551 | Asia engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 188-188 | CentralAfrica engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 192-192 | EasternAfrica engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 243-243 | EasternSouthAmerica engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 247-247 | NorthernSouthAmerica engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3557-3557 | Oceania engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3534-3534 | SouthAmerica engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 270-270 | SoutheasternAsia engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 266-266 | SouthernAsia engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3618-3618 | Tropics engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 204-204 | WesternAfrica engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 254-254 | WesternSouthAmerica engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54218-54218 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54217-54217 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54216-54216 |
| 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 |
|
|
|