|
|
   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 3385-3388 | |
| (externalImage Hemisphere "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Sphere_halve.png") | pictureList.kif 1803-1803 | |
| (subclass Hemisphere GeographicArea) | Geography.kif 3384-3384 | subclass Hemisphere and GeographicArea |
| appearance as argument number 2 |
|
|
| (instance EasternHemisphere Hemisphere) | Geography.kif 3402-3402 | instance EasternHemisphere and Hemisphere |
| (instance NorthernHemisphere Hemisphere) | Geography.kif 3394-3394 | instance NorthernHemisphere and Hemisphere |
| (instance SouthernHemisphere Hemisphere) | Geography.kif 3398-3398 | instance SouthernHemisphere and Hemisphere |
| (instance WesternHemisphere Hemisphere) | Geography.kif 3406-3406 | instance WesternHemisphere and Hemisphere |
| (termFormat ChineseLanguage Hemisphere "半球") | domainEnglishFormat.kif 27906-27906 | |
| (termFormat ChineseTraditionalLanguage Hemisphere "半球") | domainEnglishFormat.kif 27905-27905 | |
| (termFormat EnglishLanguage Hemisphere "hemisphere") | domainEnglishFormat.kif 27904-27904 |
| antecedent |
|
|
| (<=> (instance ?HEMISPHERE Hemisphere) (or (equal ?HEMISPHERE NorthernHemisphere) (equal ?HEMISPHERE SouthernHemisphere) (equal ?HEMISPHERE EasternHemisphere) (equal ?HEMISPHERE WesternHemisphere))) |
Geography.kif 3410-3416 | instance Entity and Hemisphere equal Entity and NorthernHemisphere equal Entity and SouthernHemisphere equal Entity and EasternHemisphere equal Entity and WesternHemisphere |
| (=> (instance ?AREA Hemisphere) (geographicSubregion ?AREA PlanetEarth)) |
Geography.kif 3390-3392 |
|
|
|
