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 3639-3640
(externalImage EasternHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ e/ ef/ Eastern_Hemisphere_LamAz.png") pictureList.kif 1741-1741
(instance EasternHemisphere Hemisphere) Geography.kif 3638-3638 EasternHemisphereHemisphereinstance では

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


(geographicSubregion Africa EasternHemisphere) Geography.kif 3683-3683 geographicSubregion Africa and EasternHemisphere
(geographicSubregion Asia EasternHemisphere) Geography.kif 3710-3710 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 1816-1816 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 3698-3698 overlapsSpatially Antarctica and EasternHemisphere
(overlapsSpatially ArcticRegion EasternHemisphere) Geography.kif 3740-3740 overlapsSpatially ArcticRegion and EasternHemisphere
(overlapsSpatially Europe EasternHemisphere) Geography.kif 3703-3703 overlapsSpatially Europe and EasternHemisphere
(overlapsSpatially NorthernAfrica EasternHemisphere) Geography.kif 194-194 overlapsSpatially NorthernAfrica and EasternHemisphere
(overlapsSpatially Oceania EasternHemisphere) Geography.kif 3716-3716 overlapsSpatially Oceania and EasternHemisphere
(overlapsSpatially SouthwesternEurope EasternHemisphere) Geography.kif 228-228 overlapsSpatially SouthwesternEurope and EasternHemisphere
(overlapsSpatially Tropics EasternHemisphere) Geography.kif 3777-3777 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 3646-3652 エンティティーHemisphereinstance では equal エンティティー and NorthernHemisphere equal エンティティー and SouthernHemisphere equal エンティティー and EasternHemisphere equal エンティティー 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 3.0 is open source software produced by Articulate Software and its partners