Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Hemisphere
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Hemisphere GeographicArea) | Geography.kif 4858-4858 | Hemisphere is a subclass of geographic area |
| (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 4859-4862 | Hemisphere is a subclass of geographic area |
| (externalImage Hemisphere "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Sphere_halve.png") | pictureList.kif 1801-1801 | Hemisphere is a subclass of geographic area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?AREA Hemisphere) (geographicSubregion ?AREA PlanetEarth)) |
Geography.kif 4864-4866 | If X is an instance of hemisphere, then X is a geographic subregion of planet earth |
| (<=> (instance ?HEMISPHERE Hemisphere) (or (equal ?HEMISPHERE NorthernHemisphere) (equal ?HEMISPHERE SouthernHemisphere) (equal ?HEMISPHERE EasternHemisphere) (equal ?HEMISPHERE WesternHemisphere))) |
Geography.kif 4884-4890 | X is an instance of hemisphere if, only if equal X, northern hemisphere, equal X, southern hemisphere, equal X, eastern hemisphere, or equal X, and western hemisphere |
|
