| 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 4931-4934 | |
| (externalImage Hemisphere "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Sphere_halve.png") | pictureList.kif 1801-1801 | |
| (subclass Hemisphere GeographicArea) | Geography.kif 4930-4930 | Hemisphere is a subclass of geographic area |
| appearance as argument number 2 |
|
|
| (instance EasternHemisphere Hemisphere) | Geography.kif 4948-4948 | Eastern hemisphere is an instance of hemisphere |
| (instance NorthernHemisphere Hemisphere) | Geography.kif 4940-4940 | Northern hemisphere is an instance of hemisphere |
| (instance SouthernHemisphere Hemisphere) | Geography.kif 4944-4944 | Southern hemisphere is an instance of hemisphere |
| (instance WesternHemisphere Hemisphere) | Geography.kif 4952-4952 | Western hemisphere is an instance of hemisphere |
| (termFormat ChineseLanguage Hemisphere "半球") | domainEnglishFormat.kif 27925-27925 | Western hemisphere is an instance of hemisphere |
| (termFormat ChineseTraditionalLanguage Hemisphere "半球") | domainEnglishFormat.kif 27924-27924 | Western hemisphere is an instance of hemisphere |
| (termFormat EnglishLanguage Hemisphere "hemisphere") | domainEnglishFormat.kif 27923-27923 | 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 4956-4962 | An entity is an instance of hemisphere if and only if equal the entity and northern hemisphere or equal the entity and southern hemisphere or equal the entity and eastern hemisphere or equal the entity and western hemisphere |
| (=> (instance ?AREA Hemisphere) (geographicSubregion ?AREA PlanetEarth)) |
Geography.kif 4936-4938 |
|
|
|
|