![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
WesternHemisphere
|
|
|
| appearance as argument number 1 |
|
|
| (instance WesternHemisphere Hemisphere) | Geography.kif 4880-4880 | Western hemisphere is an instance of hemisphere |
| (documentation WesternHemisphere EnglishLanguage "The half of the Earth that includes North and South America.") | Geography.kif 4881-4882 | Western hemisphere is an instance of hemisphere |
| (externalImage WesternHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6c/ Western_Hemisphere_LamAz.png") | pictureList.kif 2059-2059 | Western hemisphere is an instance of hemisphere |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (<=> (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 |