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 3461-3462
(externalImage NorthernHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ e/ e4/ Northern_Hemisphere_LamAz.png") pictureList.kif 1870-1870
(instance NorthernHemisphere Hemisphere) Geography.kif 3460-3460

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


(geographicSubregion ArcticOcean NorthernHemisphere) Geography.kif 4615-4615
(geographicSubregion ArcticRegion NorthernHemisphere) Geography.kif 3569-3569
(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 3532-3532
(geographicSubregion MiddleAmerica NorthernHemisphere) Geography.kif 235-235
(geographicSubregion NorthAmerica NorthernHemisphere) Geography.kif 3516-3516
(geographicSubregion NorthAtlanticOcean NorthernHemisphere) Geography.kif 4521-4521
(geographicSubregion NorthPacificOcean NorthernHemisphere) Geography.kif 4553-4553
(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 3511-3511
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3538-3538
(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 3476-3482


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