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

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


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

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 instance Entity and Hemisphere equal Entity and NorthernHemisphere equal Entity and SouthernHemisphere equal Entity and EasternHemisphere equal Entity and WesternHemisphere


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