SouthernHemisphere
|
|
appearance as argument number 1 |
(documentation SouthernHemisphere EnglishLanguage "The half of the Earth that lies below the equator.") | Geography.kif 3477-3478 | |
(externalImage SouthernHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 82/ Southern_Hemisphere_LamAz.png") | pictureList.kif 1995-1995 | |
(instance SouthernHemisphere Hemisphere) | Geography.kif 3476-3476 | SouthernHemisphere ist ein fall von Hemisphere %n{nicht} |
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 | Entity ist ein fall von Hemisphere %n{nicht} genau dann wenn ** Entity ist gleich NorthernHemisphere %n{nicht} oder ** Entity ist gleich SouthernHemisphere %n{nicht} oder ** Entity ist gleich EasternHemisphere %n{nicht} oder ** Entity ist gleich WesternHemisphere %n{nicht} |