| Hemisphere(hemisphere)
| | hemisphere |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3451-3454 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1801-1801 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3450-3450 | 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 3468-3468 | Eastern hemisphere is an instance of hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3460-3460 | Northern hemisphere is an instance of hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3464-3464 | Southern hemisphere is an instance of hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3472-3472 | Western hemisphere is an instance of hemisphere |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27943-27943 | Western hemisphere is an instance of hemisphere |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27942-27942 | Western hemisphere is an instance of hemisphere |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27941-27941 | Western hemisphere is an instance of hemisphere |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3476-3482 | 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 3456-3458 |
|
|
|
|