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 3473-3474
(externalImage NorthernHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ e/ e4/ Northern_Hemisphere_LamAz.png") pictureList.kif 1871-1871
(instance NorthernHemisphere Hemisphere) Geography.kif 3472-3472

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


(geographicSubregion ArcticOcean NorthernHemisphere) Geography.kif 4639-4639
(geographicSubregion ArcticRegion NorthernHemisphere) Geography.kif 3581-3581
(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 3544-3544
(geographicSubregion MiddleAmerica NorthernHemisphere) Geography.kif 235-235
(geographicSubregion NorthAmerica NorthernHemisphere) Geography.kif 3528-3528
(geographicSubregion NorthAtlanticOcean NorthernHemisphere) Geography.kif 4545-4545
(geographicSubregion NorthPacificOcean NorthernHemisphere) Geography.kif 4577-4577
(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 3523-3523
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3550-3550
(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 3488-3494


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