EasternHemisphere![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation EasternHemisphere EnglishLanguage "The half of the Earth that includes Europe, Asia, Africa, and Australia.") | Geography.kif 3639-3640 | |
(externalImage EasternHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ e/ ef/ Eastern_Hemisphere_LamAz.png") | pictureList.kif 1741-1741 | |
(instance EasternHemisphere Hemisphere) | Geography.kif 3638-3638 | EasternHemisphere は 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 |
![]() |
![]() |