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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NorthernHemisphere

 Sigma KEE - NorthernHemisphere
NorthernHemisphere

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


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

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


(geographicSubregion ArcticOcean NorthernHemisphere) Geography.kif 4542-4542
(geographicSubregion ArcticRegion NorthernHemisphere) Geography.kif 3507-3507
(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 3470-3470
(geographicSubregion MiddleAmerica NorthernHemisphere) Geography.kif 235-235
(geographicSubregion NorthAmerica NorthernHemisphere) Geography.kif 3454-3454
(geographicSubregion NorthAtlanticOcean NorthernHemisphere) Geography.kif 4448-4448
(geographicSubregion NorthPacificOcean NorthernHemisphere) Geography.kif 4480-4480
(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 3449-3449
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3476-3476
(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 3414-3420


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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