| EasternHemisphere
| |
| appearance as argument number 1 |
|
|
| (documentation EasternHemisphere EnglishLanguage "The half of the Earth that includes Europe, Asia, Africa, and Australia.") | Geography.kif 3481-3482 | |
| (externalImage EasternHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ e/ ef/ Eastern_Hemisphere_LamAz.png") | pictureList.kif 1742-1742 | |
| (instance EasternHemisphere Hemisphere) | Geography.kif 3480-3480 | EasternHemisphere e' uma instancia de 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 3488-3494 | Entidade e' uma instancia de Hemisphere Entidade e' igual a NorthernHemisphere Entidade e' igual a SouthernHemisphere Entidade e' igual a EasternHemisphere Entidade e' igual a WesternHemisphere |
|
|
|