| SouthernHemisphere(southern hemisphere)
| | southern_hemisphere, 南半球 |
| appearance as argument number 1 |
|
|
| (documentation SouthernHemisphere EnglishLanguage "The half of the Earth that lies below the equator.") | Geography.kif 3323-3324 | |
| (externalImage SouthernHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 82/ Southern_Hemisphere_LamAz.png") | pictureList.kif 1996-1996 | "http://upload.wikimedia.org/wikipedia/commons/8/82/ Southern_Hemisphere_LamAz.png" is a URL depicting southern hemisphere |
| (instance SouthernHemisphere Hemisphere) | Geography.kif 3322-3322 | Southern 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 3334-3340 | 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 |
|
|
|