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

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


(geographicSubregion Africa EasternHemisphere) Geography.kif 3384-3384
(geographicSubregion Asia EasternHemisphere) Geography.kif 3411-3411
(geographicSubregion CentralAfrica EasternHemisphere) Geography.kif 186-186
(geographicSubregion CentralAsia EasternHemisphere) Geography.kif 256-256
(geographicSubregion CentralEurope EasternHemisphere) Geography.kif 212-212
(geographicSubregion EasternAfrica EasternHemisphere) Geography.kif 190-190
(geographicSubregion EasternAsia EasternHemisphere) Geography.kif 259-259
(geographicSubregion EasternEurope EasternHemisphere) Geography.kif 209-209
(geographicSubregion MiddleEastRegion EasternHemisphere) Geography.kif 206-206
(geographicSubregion NorthernAsia EasternHemisphere) Geography.kif 262-262
(geographicSubregion NorthernEurope EasternHemisphere) Geography.kif 215-215
(geographicSubregion NorthernSeaRoute EasternHemisphere) Transportation.kif 1661-1661
(geographicSubregion SoutheasternAsia EasternHemisphere) Geography.kif 268-268
(geographicSubregion SoutheasternEurope EasternHemisphere) Geography.kif 225-225
(geographicSubregion SouthernAfrica EasternHemisphere) Geography.kif 198-198
(geographicSubregion SouthernAsia EasternHemisphere) Geography.kif 264-264
(geographicSubregion SouthernEurope EasternHemisphere) Geography.kif 218-218
(geographicSubregion SouthwesternAsia EasternHemisphere) Geography.kif 272-272
(overlapsSpatially Antarctica EasternHemisphere) Geography.kif 3399-3399
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3441-3441
(overlapsSpatially Europe EasternHemisphere) Geography.kif 3404-3404
(overlapsSpatially NorthernAfrica EasternHemisphere) Geography.kif 194-194
(overlapsSpatially Oceania EasternHemisphere) Geography.kif 3417-3417
(overlapsSpatially SouthwesternEurope EasternHemisphere) Geography.kif 228-228
(overlapsSpatially Tropics EasternHemisphere) Geography.kif 3457-3457

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 3347-3353


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