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


KB Term:  Term intersection
English Word: 

  measuringResult

 Sigma KEE - NorthernHemisphere
NorthernHemisphere(northern hemisphere)
northern_hemisphere

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


(instance NorthernHemisphere Hemisphere) Geography.kif 4868-4868 Northern hemisphere is an instance of hemisphere
(documentation NorthernHemisphere EnglishLanguage "The half of the Earth that lies above the equator.") Geography.kif 4869-4870 Northern hemisphere is an instance of hemisphere
(externalImage NorthernHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ e/ e4/ Northern_Hemisphere_LamAz.png") pictureList.kif 1870-1870 Northern hemisphere is an instance of hemisphere

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


(geographicSubregion NorthernAsia NorthernHemisphere) Geography.kif 180-180 Northern asia is a geographic subregion of northern hemisphere
(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
(geographicSubregion NorthernAfrica NorthernHemisphere) Geography.kif 196-196 Northern africa is a geographic subregion of northern hemisphere
(overlapsSpatially WesternAfrica NorthernHemisphere) Geography.kif 203-203 Western africa and northern hemisphere overlapsSpatially
(geographicSubregion EasternEurope NorthernHemisphere) Geography.kif 210-210 Eastern europe is a geographic subregion of northern hemisphere
(geographicSubregion CentralEurope NorthernHemisphere) Geography.kif 213-213 Central europe is a geographic subregion of northern hemisphere
(geographicSubregion NorthernEurope NorthernHemisphere) Geography.kif 216-216 Northern 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 WesternEurope NorthernHemisphere) Geography.kif 223-223 Western 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 SouthwesternEurope NorthernHemisphere) Geography.kif 230-230 Southwestern europe is a geographic subregion of northern hemisphere
(geographicSubregion CaribbeanRegion NorthernHemisphere) Geography.kif 232-232 Caribbean region is a geographic subregion of northern hemisphere
(geographicSubregion MiddleAmerica NorthernHemisphere) Geography.kif 235-235 Middle america is a geographic subregion of northern hemisphere
(overlapsSpatially EasternSouthAmerica NorthernHemisphere) Geography.kif 242-242 Eastern south america and northern hemisphere overlapsSpatially
(overlapsSpatially NorthernSouthAmerica NorthernHemisphere) Geography.kif 246-246 Northern south america and northern hemisphere overlapsSpatially
(overlapsSpatially WesternSouthAmerica NorthernHemisphere) Geography.kif 253-253 Western south america and northern hemisphere overlapsSpatially
(geographicSubregion CentralAsia NorthernHemisphere) Geography.kif 257-257 Central asia is a geographic subregion of northern hemisphere
(geographicSubregion EasternAsia NorthernHemisphere) Geography.kif 260-260 Eastern asia is a geographic subregion of northern hemisphere
(overlapsSpatially SouthernAsia NorthernHemisphere) Geography.kif 265-265 Southern asia and northern hemisphere overlapsSpatially
(overlapsSpatially SoutheasternAsia NorthernHemisphere) Geography.kif 269-269 Southeastern asia and northern hemisphere overlapsSpatially
(geographicSubregion SouthwesternAsia NorthernHemisphere) Geography.kif 273-273 Southwestern asia is a geographic subregion of northern hemisphere
(overlapsSpatially Africa NorthernHemisphere) Geography.kif 4919-4919 Africa and northern hemisphere overlapsSpatially
(geographicSubregion NorthAmerica NorthernHemisphere) Geography.kif 4931-4931 North america is a geographic subregion of northern hemisphere
(overlapsSpatially SouthAmerica NorthernHemisphere) Geography.kif 4944-4944 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 4884-4890 X is an instance of hemisphere if, only if equal X, northern hemisphere, equal X, southern hemisphere, equal X, eastern hemisphere, or equal X, and western hemisphere


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners