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

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


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

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


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