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

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


(geographicSubregion Africa EasternHemisphere) Geography.kif 3451-3451
(geographicSubregion Asia EasternHemisphere) Geography.kif 3478-3478
(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 1676-1676
(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 3466-3466
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3508-3508
(overlapsSpatially Europe EasternHemisphere) Geography.kif 3471-3471
(overlapsSpatially NorthernAfrica EasternHemisphere) Geography.kif 194-194
(overlapsSpatially Oceania EasternHemisphere) Geography.kif 3484-3484
(overlapsSpatially SouthwesternEurope EasternHemisphere) Geography.kif 228-228
(overlapsSpatially Tropics EasternHemisphere) Geography.kif 3545-3545

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 3414-3420


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