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 3469-3470
(externalImage EasternHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ e/ ef/ Eastern_Hemisphere_LamAz.png") pictureList.kif 1741-1741
(instance EasternHemisphere Hemisphere) Geography.kif 3468-3468

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


(geographicSubregion Africa EasternHemisphere) Geography.kif 3513-3513
(geographicSubregion Asia EasternHemisphere) Geography.kif 3540-3540
(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 1816-1816
(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 3528-3528
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3570-3570
(overlapsSpatially Europe EasternHemisphere) Geography.kif 3533-3533
(overlapsSpatially NorthernAfrica EasternHemisphere) Geography.kif 194-194
(overlapsSpatially Oceania EasternHemisphere) Geography.kif 3546-3546
(overlapsSpatially SouthwesternEurope EasternHemisphere) Geography.kif 228-228
(overlapsSpatially Tropics EasternHemisphere) Geography.kif 3607-3607

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 3476-3482


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