| SouthernHemisphere(southern hemisphere)
|
| appearance as argument number 1 |
|
| (documentation SouthernHemisphere EnglishLanguage "The half of the Earth that lies below the equator.") | Geography.kif 4945-4946 | |
| (externalImage SouthernHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 82/ Southern_Hemisphere_LamAz.png") | pictureList.kif 1994-1994 | |
| (instance SouthernHemisphere Hemisphere) | Geography.kif 4944-4944 | 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 4956-4962 | 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 |
|
|
|