| WesternHemisphere(western hemisphere)
| | New_World, Occident, West, occident, western_hemisphere |
| appearance as argument number 1 |
|
|
| (documentation WesternHemisphere EnglishLanguage "The half of the Earth that includes North and South America.") | Geography.kif 3485-3486 | |
| (externalImage WesternHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6c/ Western_Hemisphere_LamAz.png") | pictureList.kif 2060-2060 | |
| (instance WesternHemisphere Hemisphere) | Geography.kif 3484-3484 | 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 3488-3494 | An entity is an instance of hemisphere if and only if the entity is equal to northern hemisphere or the entity is equal to southern hemisphere or the entity is equal to eastern hemisphere or the entity is equal to western hemisphere |
|
|
|