| Hemisphere(hemisphere)
| | hemisphere |
| appearance as argument number 1 |
|
|
| (documentation Hemisphere EnglishLanguage "Hemisphere is the class of GeographicAreas that are halves of the Earth, as traditionally divided into the Northern and Southern Hemispheres along the equator and into the Eastern and Western Hemispheres along a north-south line running 20�W and 160�E.") | Geography.kif 3463-3466 | |
| (externalImage Hemisphere "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Sphere_halve.png") | pictureList.kif 1802-1802 | |
| (subclass Hemisphere GeographicArea) | Geography.kif 3462-3462 | Hemisphere is a subclass of geographic area |
| appearance as argument number 2 |
|
|
| (instance EasternHemisphere Hemisphere) | Geography.kif 3480-3480 | Eastern hemisphere is an instance of hemisphere |
| (instance NorthernHemisphere Hemisphere) | Geography.kif 3472-3472 | Northern hemisphere is an instance of hemisphere |
| (instance SouthernHemisphere Hemisphere) | Geography.kif 3476-3476 | Southern hemisphere is an instance of hemisphere |
| (instance WesternHemisphere Hemisphere) | Geography.kif 3484-3484 | Western hemisphere is an instance of hemisphere |
| (termFormat ChineseLanguage Hemisphere "半球") | domainEnglishFormat.kif 27949-27949 | Western hemisphere is an instance of hemisphere |
| (termFormat ChineseTraditionalLanguage Hemisphere "半球") | domainEnglishFormat.kif 27948-27948 | Western hemisphere is an instance of hemisphere |
| (termFormat EnglishLanguage Hemisphere "hemisphere") | domainEnglishFormat.kif 27947-27947 | Western hemisphere is an instance of hemisphere |
| antecedent |
|
|
| (<=> (instance ?HEMISPHERE Hemisphere) (or (equal ?HEMISPHERE NorthernHemisphere) (equal ?HEMISPHERE SouthernHemisphere) (equal ?HEMISPHERE EasternHemisphere) (equal ?HEMISPHERE WesternHemisphere))) |
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 |
| (=> (instance ?AREA Hemisphere) (geographicSubregion ?AREA PlanetEarth)) |
Geography.kif 3468-3470 |
|
|
|
|