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

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


(geographicSubregion Africa EasternHemisphere) Geography.kif 3406-3406
(geographicSubregion Asia EasternHemisphere) Geography.kif 3433-3433
(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 3421-3421
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3463-3463
(overlapsSpatially Europe EasternHemisphere) Geography.kif 3426-3426
(overlapsSpatially NorthernAfrica EasternHemisphere) Geography.kif 194-194
(overlapsSpatially Oceania EasternHemisphere) Geography.kif 3439-3439
(overlapsSpatially SouthwesternEurope EasternHemisphere) Geography.kif 228-228
(overlapsSpatially Tropics EasternHemisphere) Geography.kif 3500-3500

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 3369-3375


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