Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NorthernHemisphere
NorthernHemisphere

appearance as argument number 1
-------------------------


(documentation NorthernHemisphere EnglishLanguage "The half of the Earth that lies above the equator.") Geography.kif 3332-3333
(externalImage NorthernHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ e/ e4/ Northern_Hemisphere_LamAz.png") pictureList.kif 1872-1872
(instance NorthernHemisphere Hemisphere) Geography.kif 3331-3331 instance NorthernHemisphere and Hemisphere

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


(geographicSubregion ArcticOcean NorthernHemisphere) Geography.kif 4369-4369 geographicSubregion ArcticOcean and NorthernHemisphere
(geographicSubregion ArcticRegion NorthernHemisphere) Geography.kif 3440-3440 geographicSubregion ArcticRegion and NorthernHemisphere
(geographicSubregion CaribbeanRegion NorthernHemisphere) Geography.kif 232-232 geographicSubregion CaribbeanRegion and NorthernHemisphere
(geographicSubregion CentralAsia NorthernHemisphere) Geography.kif 257-257 geographicSubregion CentralAsia and NorthernHemisphere
(geographicSubregion CentralEurope NorthernHemisphere) Geography.kif 213-213 geographicSubregion CentralEurope and NorthernHemisphere
(geographicSubregion EasternAsia NorthernHemisphere) Geography.kif 260-260 geographicSubregion EasternAsia and NorthernHemisphere
(geographicSubregion EasternEurope NorthernHemisphere) Geography.kif 210-210 geographicSubregion EasternEurope and NorthernHemisphere
(geographicSubregion Europe NorthernHemisphere) Geography.kif 3403-3403 geographicSubregion Europe and NorthernHemisphere
(geographicSubregion MiddleAmerica NorthernHemisphere) Geography.kif 235-235 geographicSubregion MiddleAmerica and NorthernHemisphere
(geographicSubregion NorthAmerica NorthernHemisphere) Geography.kif 3387-3387 geographicSubregion NorthAmerica and NorthernHemisphere
(geographicSubregion NorthAtlanticOcean NorthernHemisphere) Geography.kif 4301-4301 geographicSubregion NorthAtlanticOcean and NorthernHemisphere
(geographicSubregion NorthPacificOcean NorthernHemisphere) Geography.kif 4333-4333 geographicSubregion NorthPacificOcean and NorthernHemisphere
(geographicSubregion NorthernAfrica NorthernHemisphere) Geography.kif 196-196 geographicSubregion NorthernAfrica and NorthernHemisphere
(geographicSubregion NorthernAsia NorthernHemisphere) Geography.kif 180-180 geographicSubregion NorthernAsia and NorthernHemisphere
(geographicSubregion NorthernEurope NorthernHemisphere) Geography.kif 216-216 geographicSubregion NorthernEurope and NorthernHemisphere
(geographicSubregion SoutheasternEurope NorthernHemisphere) Geography.kif 226-226 geographicSubregion SoutheasternEurope and NorthernHemisphere
(geographicSubregion SouthernEurope NorthernHemisphere) Geography.kif 219-219 geographicSubregion SouthernEurope and NorthernHemisphere
(geographicSubregion SouthwesternAsia NorthernHemisphere) Geography.kif 273-273 geographicSubregion SouthwesternAsia and NorthernHemisphere
(geographicSubregion SouthwesternEurope NorthernHemisphere) Geography.kif 230-230 geographicSubregion SouthwesternEurope and NorthernHemisphere
(geographicSubregion WesternEurope NorthernHemisphere) Geography.kif 223-223 geographicSubregion WesternEurope and NorthernHemisphere
(overlapsSpatially Africa NorthernHemisphere) Geography.kif 3382-3382 overlapsSpatially Africa and NorthernHemisphere
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3409-3409 overlapsSpatially Asia and NorthernHemisphere
(overlapsSpatially CentralAfrica NorthernHemisphere) Geography.kif 187-187 overlapsSpatially CentralAfrica and NorthernHemisphere
(overlapsSpatially EasternAfrica NorthernHemisphere) Geography.kif 191-191 overlapsSpatially EasternAfrica and NorthernHemisphere
(overlapsSpatially EasternSouthAmerica NorthernHemisphere) Geography.kif 242-242 overlapsSpatially EasternSouthAmerica and NorthernHemisphere

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