NorthernHemisphere |
appearance as argument number 1 |
(documentation NorthernHemisphere EnglishLanguage "The half of the Earth that lies above the equator.") | Geography.kif 3473-3474 | |
(externalImage NorthernHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ e/ e4/ Northern_Hemisphere_LamAz.png") | pictureList.kif 1871-1871 | |
(instance NorthernHemisphere Hemisphere) | Geography.kif 3472-3472 | NorthernHemisphere 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 |