| WesternHemisphere
| |
| appearance as argument number 1 |
|
|
| (documentation WesternHemisphere EnglishLanguage "The half of the Earth that includes North and South America.") | Geography.kif 3473-3474 | |
| (externalImage WesternHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6c/ Western_Hemisphere_LamAz.png") | pictureList.kif 2059-2059 | |
| (instance WesternHemisphere Hemisphere) | Geography.kif 3472-3472 | WesternHemisphere は 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 3476-3482 | エンティティー は Hemisphere の instance では エンティティー は NorthernHemisphere と equal では エンティティー は SouthernHemisphere と equal では エンティティー は EasternHemisphere と equal では エンティティー は WesternHemisphere と equal では |
|
|
|