| 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 3643-3644 | |
| (externalImage WesternHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6c/ Western_Hemisphere_LamAz.png") | pictureList.kif 2059-2059 | |
| (instance WesternHemisphere Hemisphere) | Geography.kif 3642-3642 | 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 3646-3652 | 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 |
|
|
|