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

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


(geographicSubregion Africa EasternHemisphere) Geography.kif 3371-3371
(geographicSubregion Asia EasternHemisphere) Geography.kif 3398-3398
(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 1646-1646
(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 3386-3386
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3428-3428
(overlapsSpatially Europe EasternHemisphere) Geography.kif 3391-3391
(overlapsSpatially NorthernAfrica EasternHemisphere) Geography.kif 194-194
(overlapsSpatially Oceania EasternHemisphere) Geography.kif 3404-3404
(overlapsSpatially SouthwesternEurope EasternHemisphere) Geography.kif 228-228
(overlapsSpatially Tropics EasternHemisphere) Geography.kif 3444-3444

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 3334-3340


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners