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 3406-3407
(externalImage NorthernHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ e/ e4/ Northern_Hemisphere_LamAz.png") pictureList.kif 1872-1872
(instance NorthernHemisphere Hemisphere) Geography.kif 3405-3405 Northern hemisphere is an instance of hemisphere

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


(geographicSubregion ArcticOcean NorthernHemisphere) Geography.kif 4549-4549 Arctic ocean is a geographic subregion of northern hemisphere
(geographicSubregion ArcticRegion NorthernHemisphere) Geography.kif 3514-3514 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 3477-3477 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 3461-3461 North america is a geographic subregion of northern hemisphere
(geographicSubregion NorthAtlanticOcean NorthernHemisphere) Geography.kif 4455-4455 North atlantic ocean is a geographic subregion of northern hemisphere
(geographicSubregion NorthPacificOcean NorthernHemisphere) Geography.kif 4487-4487 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 3456-3456 Africa and northern hemisphere overlapsSpatially
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3483-3483 Asia and northern hemisphere overlapsSpatially
(overlapsSpatially CentralAfrica NorthernHemisphere) Geography.kif 187-187 Central africa and northern hemisphere overlapsSpatially
(overlapsSpatially EasternAfrica NorthernHemisphere) Geography.kif 191-191 Eastern africa and northern hemisphere overlapsSpatially
(overlapsSpatially EasternSouthAmerica NorthernHemisphere) Geography.kif 242-242 Eastern south america and northern hemisphere overlapsSpatially

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 3421-3427 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