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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NorthernHemisphere
NorthernHemisphere(北半球)

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


(documentation NorthernHemisphere EnglishLanguage "The half of the Earth that lies above the equator.") Geography.kif 3395-3396
(externalImage NorthernHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ e/ e4/ Northern_Hemisphere_LamAz.png") pictureList.kif 1872-1872
(instance NorthernHemisphere Hemisphere) Geography.kif 3394-3394 北半球半球instance

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


(geographicSubregion ArcticOcean NorthernHemisphere) Geography.kif 4538-4538 北冰洋北半球geographic 次要地区
(geographicSubregion ArcticRegion NorthernHemisphere) Geography.kif 3503-3503 北极地区北半球geographic 次要地区
(geographicSubregion CaribbeanRegion NorthernHemisphere) Geography.kif 232-232 加勒比地区北半球geographic 次要地区
(geographicSubregion CentralAsia NorthernHemisphere) Geography.kif 257-257 中亚北半球geographic 次要地区
(geographicSubregion CentralEurope NorthernHemisphere) Geography.kif 213-213 欧洲中部北半球geographic 次要地区
(geographicSubregion EasternAsia NorthernHemisphere) Geography.kif 260-260 东亚北半球geographic 次要地区
(geographicSubregion EasternEurope NorthernHemisphere) Geography.kif 210-210 东欧洲北半球geographic 次要地区
(geographicSubregion Europe NorthernHemisphere) Geography.kif 3466-3466 欧洲北半球geographic 次要地区
(geographicSubregion MiddleAmerica NorthernHemisphere) Geography.kif 235-235 中美洲北半球geographic 次要地区
(geographicSubregion NorthAmerica NorthernHemisphere) Geography.kif 3450-3450 北美北半球geographic 次要地区
(geographicSubregion NorthAtlanticOcean NorthernHemisphere) Geography.kif 4444-4444 北大西洋北半球geographic 次要地区
(geographicSubregion NorthPacificOcean NorthernHemisphere) Geography.kif 4476-4476 北太平洋北半球geographic 次要地区
(geographicSubregion NorthernAfrica NorthernHemisphere) Geography.kif 196-196 北非北半球geographic 次要地区
(geographicSubregion NorthernAsia NorthernHemisphere) Geography.kif 180-180 北亚北半球geographic 次要地区
(geographicSubregion NorthernEurope NorthernHemisphere) Geography.kif 216-216 北欧北半球geographic 次要地区
(geographicSubregion SoutheasternEurope NorthernHemisphere) Geography.kif 226-226 东南欧北半球geographic 次要地区
(geographicSubregion SouthernEurope NorthernHemisphere) Geography.kif 219-219 南欧北半球geographic 次要地区
(geographicSubregion SouthwesternAsia NorthernHemisphere) Geography.kif 273-273 西南亚北半球geographic 次要地区
(geographicSubregion SouthwesternEurope NorthernHemisphere) Geography.kif 230-230 西南欧北半球geographic 次要地区
(geographicSubregion WesternEurope NorthernHemisphere) Geography.kif 223-223 西欧北半球geographic 次要地区
(overlapsSpatially Africa NorthernHemisphere) Geography.kif 3445-3445 非洲北半球 重叠
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3472-3472 亚洲北半球 重叠
(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 3410-3416 实体半球instance 若且唯若 那个 实体 equal 北半球那个 实体 equal 南半球那个 实体 equal 东半球那个 实体 equal 西半球


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