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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NorthernHemisphere
NorthernHemisphere(northern hemisphere)
northern_hemisphere

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 Northern hemisphere is an instance of hemisphere

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


(geographicSubregion ArcticOcean NorthernHemisphere) Geography.kif 4369-4369 Arctic ocean is a geographic subregion of northern hemisphere
(geographicSubregion ArcticRegion NorthernHemisphere) Geography.kif 3440-3440 Arctic region is a geographic subregion of northern hemisphere
(geographicSubregion CaribbeanRegion NorthernHemisphere) Geography.kif 232-232 Caribbean region is a geographic subregion of northern hemisphere
(geographicSubregion CentralAsia NorthernHemisphere) Geography.kif 257-257 Central asia is a geographic subregion of northern hemisphere
(geographicSubregion CentralEurope NorthernHemisphere) Geography.kif 213-213 Central europe is a geographic subregion of northern hemisphere
(geographicSubregion EasternAsia NorthernHemisphere) Geography.kif 260-260 Eastern asia is a geographic subregion of northern hemisphere
(geographicSubregion EasternEurope NorthernHemisphere) Geography.kif 210-210 Eastern europe is a geographic subregion of northern hemisphere
(geographicSubregion Europe NorthernHemisphere) Geography.kif 3403-3403 Europe is a geographic subregion of northern hemisphere
(geographicSubregion MiddleAmerica NorthernHemisphere) Geography.kif 235-235 Middle america is a geographic subregion of northern hemisphere
(geographicSubregion NorthAmerica NorthernHemisphere) Geography.kif 3387-3387 North america is a geographic subregion of northern hemisphere
(geographicSubregion NorthAtlanticOcean NorthernHemisphere) Geography.kif 4301-4301 North atlantic ocean is a geographic subregion of northern hemisphere
(geographicSubregion NorthPacificOcean NorthernHemisphere) Geography.kif 4333-4333 North pacific ocean is a geographic subregion of northern hemisphere
(geographicSubregion NorthernAfrica NorthernHemisphere) Geography.kif 196-196 Northern africa is a geographic subregion of northern hemisphere
(geographicSubregion NorthernAsia NorthernHemisphere) Geography.kif 180-180 Northern asia is a geographic subregion of northern hemisphere
(geographicSubregion NorthernEurope NorthernHemisphere) Geography.kif 216-216 Northern europe is a geographic subregion of northern hemisphere
(geographicSubregion SoutheasternEurope NorthernHemisphere) Geography.kif 226-226 Southeastern europe is a geographic subregion of northern hemisphere
(geographicSubregion SouthernEurope NorthernHemisphere) Geography.kif 219-219 Southern europe is a geographic subregion of northern hemisphere
(geographicSubregion SouthwesternAsia NorthernHemisphere) Geography.kif 273-273 Southwestern asia is a geographic subregion of northern hemisphere
(geographicSubregion SouthwesternEurope NorthernHemisphere) Geography.kif 230-230 Southwestern europe is a geographic subregion of northern hemisphere
(geographicSubregion WesternEurope NorthernHemisphere) Geography.kif 223-223 Western europe is a geographic subregion of northern hemisphere
(overlapsSpatially Africa NorthernHemisphere) Geography.kif 3382-3382 overlaps spatially africa and northern hemisphere
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3409-3409 overlaps spatially asia and northern hemisphere
(overlapsSpatially CentralAfrica NorthernHemisphere) Geography.kif 187-187 overlaps spatially central africa and northern hemisphere
(overlapsSpatially EasternAfrica NorthernHemisphere) Geography.kif 191-191 overlaps spatially eastern africa and northern hemisphere
(overlapsSpatially EasternSouthAmerica NorthernHemisphere) Geography.kif 242-242 overlaps spatially eastern south america and northern hemisphere

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 An entity is an instance of hemisphere if and only if the entity is equal to northern hemisphere or the entity is equal to southern hemisphere or the entity is equal to eastern hemisphere or the entity is equal to western hemisphere


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 3.0 is open source software produced by Articulate Software and its partners