| SouthernHemisphere(southern hemisphere)
|
| 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 | Southern hemisphere is an instance of hemisphere |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3539-3539 | Antarctica is a geographic subregion of southern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 239-239 | Central south america is a geographic subregion of southern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4558-4558 | South atlantic ocean is a geographic subregion of southern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4617-4617 | South pacific ocean is a geographic subregion of southern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 199-199 | Southern africa is a geographic subregion of southern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4655-4655 | Southern ocean is a geographic subregion of southern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 250-250 | Southern south america is a geographic subregion of southern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3524-3524 | Africa and southern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3551-3551 | Asia and southern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 188-188 | Central africa and southern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 192-192 | Eastern africa and southern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 243-243 | Eastern south america and southern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 247-247 | Northern south america and southern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3557-3557 | Oceania and southern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3534-3534 | South america and southern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 270-270 | Southeastern asia and southern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 266-266 | Southern asia and southern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3618-3618 | Tropics and southern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 204-204 | Western africa and southern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 254-254 | Western south america and southern hemisphere overlapsSpatially |
| 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 | 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 |
|
|
|