| 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 3451-3454 | |
| (externalImage Hemisphere "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Sphere_halve.png") | pictureList.kif 1801-1801 | |
| (subclass Hemisphere GeographicArea) | Geography.kif 3450-3450 |
| appearance as argument number 2 |
|
|
| (instance EasternHemisphere Hemisphere) | Geography.kif 3468-3468 | |
| (instance NorthernHemisphere Hemisphere) | Geography.kif 3460-3460 | |
| (instance SouthernHemisphere Hemisphere) | Geography.kif 3464-3464 | |
| (instance WesternHemisphere Hemisphere) | Geography.kif 3472-3472 | |
| (termFormat ChineseLanguage Hemisphere "半球") | domainEnglishFormat.kif 27939-27939 | |
| (termFormat ChineseTraditionalLanguage Hemisphere "半球") | domainEnglishFormat.kif 27938-27938 | |
| (termFormat EnglishLanguage Hemisphere "hemisphere") | domainEnglishFormat.kif 27937-27937 |
| antecedent |
|
|
| (<=> (instance ?HEMISPHERE Hemisphere) (or (equal ?HEMISPHERE NorthernHemisphere) (equal ?HEMISPHERE SouthernHemisphere) (equal ?HEMISPHERE EasternHemisphere) (equal ?HEMISPHERE WesternHemisphere))) |
Geography.kif 3476-3482 | |
| (=> (instance ?AREA Hemisphere) (geographicSubregion ?AREA PlanetEarth)) |
Geography.kif 3456-3458 |
|
|
|