| NorthernHemisphere(northern hemisphere)
| | northern_hemisphere |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3473-3474 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1871-1871 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3472-3472 | Northern hemisphere is an instance of hemisphere |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4639-4639 | Arctic ocean is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3581-3581 | Arctic region is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 232-232 | Caribbean region is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 257-257 | Central asia is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 213-213 | Central europe is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 260-260 | Eastern asia is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 210-210 | Eastern europe is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3544-3544 | Europe is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 235-235 | Middle america is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3528-3528 | North america is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4545-4545 | North atlantic ocean is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4577-4577 | North pacific ocean is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 196-196 | Northern africa is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 180-180 | Northern asia is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 216-216 | Northern europe is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 226-226 | Southeastern europe is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 219-219 | Southern europe is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 273-273 | Southwestern asia is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 230-230 | Southwestern europe is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 223-223 | Western europe is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3523-3523 | Africa and northern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3550-3550 | Asia and northern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 187-187 | Central africa and northern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 191-191 | Eastern africa and northern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 242-242 | Eastern south america and northern hemisphere overlapsSpatially |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| 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 |
|
|
|