Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  EasternHemisphere
|
|
|
| appearance as argument number 1 |
|
|
| (instance EasternHemisphere Hemisphere) | Geography.kif 4876-4876 | Eastern hemisphere is an instance of hemisphere |
| (documentation EasternHemisphere EnglishLanguage "The half of the Earth that includes Europe, Asia, Africa, and Australia.") | Geography.kif 4877-4878 | Eastern hemisphere is an instance of hemisphere |
| (externalImage EasternHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ e/ ef/ Eastern_Hemisphere_LamAz.png") | pictureList.kif 1741-1741 | Eastern 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 |
|
