| Hemisphere(hemisphere)
| | hemisphere |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3463-3466 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1802-1802 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3462-3462 | Hemisphere is a subclass of geographic area |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3480-3480 | Eastern hemisphere is an instance of hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3472-3472 | Northern hemisphere is an instance of hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3476-3476 | Southern hemisphere is an instance of hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3484-3484 | Western hemisphere is an instance of hemisphere |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27915-27915 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27914-27914 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27913-27913 |
| antecedent |
|
|
| 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 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3468-3470 |
|
|
|
|