| SouthernHemisphere
|
| appearance as argument number 1 |
|
| (documentation SouthernHemisphere EnglishLanguage "The half of the Earth that lies below the equator.") | Geography.kif 3635-3636 | |
| (externalImage SouthernHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 82/ Southern_Hemisphere_LamAz.png") | pictureList.kif 1994-1994 | |
| (instance SouthernHemisphere Hemisphere) | Geography.kif 3634-3634 | SouthernHemisphere は Hemisphere の instance では |
| 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 | エンティティー は Hemisphere の instance では equal エンティティー and NorthernHemisphere equal エンティティー and SouthernHemisphere equal エンティティー and EasternHemisphere equal エンティティー and WesternHemisphere |
|
|
|