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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EasternHemisphere

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 3403-3404
(externalImage EasternHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ e/ ef/ Eastern_Hemisphere_LamAz.png") pictureList.kif 1743-1743
(instance EasternHemisphere Hemisphere) Geography.kif 3402-3402 instance EasternHemisphere and Hemisphere

appearance as argument number 2
-------------------------


(geographicSubregion Africa EasternHemisphere) Geography.kif 3447-3447 geographicSubregion Africa and EasternHemisphere
(geographicSubregion Asia EasternHemisphere) Geography.kif 3474-3474 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 3462-3462 overlapsSpatially Antarctica and EasternHemisphere
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3504-3504 overlapsSpatially ArcticRegion and EasternHemisphere
(overlapsSpatially Europe EasternHemisphere) Geography.kif 3467-3467 overlapsSpatially Europe and EasternHemisphere
(overlapsSpatially NorthernAfrica EasternHemisphere) Geography.kif 194-194 overlapsSpatially NorthernAfrica and EasternHemisphere
(overlapsSpatially Oceania EasternHemisphere) Geography.kif 3480-3480 overlapsSpatially Oceania and EasternHemisphere
(overlapsSpatially SouthwesternEurope EasternHemisphere) Geography.kif 228-228 overlapsSpatially SouthwesternEurope and EasternHemisphere
(overlapsSpatially Tropics EasternHemisphere) Geography.kif 3541-3541 overlapsSpatially Tropics and 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 3410-3416 instance Entity and Hemisphere equal Entity and NorthernHemisphere equal Entity and SouthernHemisphere equal Entity and EasternHemisphere equal Entity and WesternHemisphere


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

Show without tree


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