Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EasternHemisphere
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
-------------------------


(geographicSubregion Africa EasternHemisphere) Geography.kif 3525-3525 geographicSubregion Africa and EasternHemisphere
(geographicSubregion Asia EasternHemisphere) Geography.kif 3552-3552 geographicSubregion Asia and EasternHemisphere
(geographicSubregion CentralAfrica EasternHemisphere) Geography.kif 186-186 geographicSubregion CentralAfrica and EasternHemisphere
(geographicSubregion CentralAsia EasternHemisphere) Geography.kif 256-256 geographicSubregion CentralAsia and EasternHemisphere
(geographicSubregion CentralEurope EasternHemisphere) Geography.kif 212-212 geographicSubregion CentralEurope and EasternHemisphere
(geographicSubregion EasternAfrica EasternHemisphere) Geography.kif 190-190 geographicSubregion EasternAfrica and EasternHemisphere
(geographicSubregion EasternAsia EasternHemisphere) Geography.kif 259-259 geographicSubregion EasternAsia and EasternHemisphere
(geographicSubregion EasternEurope EasternHemisphere) Geography.kif 209-209 geographicSubregion EasternEurope and EasternHemisphere
(geographicSubregion MiddleEastRegion EasternHemisphere) Geography.kif 206-206 geographicSubregion MiddleEastRegion and EasternHemisphere
(geographicSubregion NorthernAsia EasternHemisphere) Geography.kif 262-262 geographicSubregion NorthernAsia and EasternHemisphere
(geographicSubregion NorthernEurope EasternHemisphere) Geography.kif 215-215 geographicSubregion NorthernEurope and EasternHemisphere
(geographicSubregion NorthernSeaRoute EasternHemisphere) Transportation.kif 1676-1676 geographicSubregion NorthernSeaRoute and EasternHemisphere
(geographicSubregion SoutheasternAsia EasternHemisphere) Geography.kif 268-268 geographicSubregion SoutheasternAsia and EasternHemisphere
(geographicSubregion SoutheasternEurope EasternHemisphere) Geography.kif 225-225 geographicSubregion SoutheasternEurope and EasternHemisphere
(geographicSubregion SouthernAfrica EasternHemisphere) Geography.kif 198-198 geographicSubregion SouthernAfrica and EasternHemisphere
(geographicSubregion SouthernAsia EasternHemisphere) Geography.kif 264-264 geographicSubregion SouthernAsia and EasternHemisphere
(geographicSubregion SouthernEurope EasternHemisphere) Geography.kif 218-218 geographicSubregion SouthernEurope and EasternHemisphere
(geographicSubregion SouthwesternAsia EasternHemisphere) Geography.kif 272-272 geographicSubregion SouthwesternAsia and EasternHemisphere
(overlapsSpatially Antarctica EasternHemisphere) Geography.kif 3540-3540 Antarctica engloba EasternHemisphere
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3582-3582 ArcticRegion engloba EasternHemisphere
(overlapsSpatially Europe EasternHemisphere) Geography.kif 3545-3545 Europe engloba EasternHemisphere
(overlapsSpatially NorthernAfrica EasternHemisphere) Geography.kif 194-194 NorthernAfrica engloba EasternHemisphere
(overlapsSpatially Oceania EasternHemisphere) Geography.kif 3558-3558 Oceania engloba EasternHemisphere
(overlapsSpatially SouthwesternEurope EasternHemisphere) Geography.kif 228-228 SouthwesternEurope engloba EasternHemisphere
(overlapsSpatially Tropics EasternHemisphere) Geography.kif 3619-3619 Tropics engloba EasternHemisphere

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners