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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SouthernHemisphere
SouthernHemisphere(南半球)

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


(documentation SouthernHemisphere EnglishLanguage "The half of the Earth that lies below the equator.") Geography.kif 3382-3383
(externalImage SouthernHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 82/ Southern_Hemisphere_LamAz.png") pictureList.kif 1996-1996
(instance SouthernHemisphere Hemisphere) Geography.kif 3381-3381 南半球半球instance

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


(geographicSubregion Antarctica SouthernHemisphere) Geography.kif 3444-3444 南极洲南半球geographic 次要地区
(geographicSubregion CentralSouthAmerica SouthernHemisphere) Geography.kif 239-239 中南美洲南半球geographic 次要地区
(geographicSubregion SouthAtlanticOcean SouthernHemisphere) Geography.kif 4397-4397 南大西洋南半球geographic 次要地区
(geographicSubregion SouthPacificOcean SouthernHemisphere) Geography.kif 4456-4456 南太平洋南半球geographic 次要地区
(geographicSubregion SouthernAfrica SouthernHemisphere) Geography.kif 199-199 非洲南部南半球geographic 次要地区
(geographicSubregion SouthernOcean SouthernHemisphere) Geography.kif 4494-4494 南部海洋南半球geographic 次要地区
(geographicSubregion SouthernSouthAmerica SouthernHemisphere) Geography.kif 250-250 南美洲南部南半球geographic 次要地区
(overlapsSpatially Africa SouthernHemisphere) Geography.kif 3429-3429 非洲南半球 重叠
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3456-3456 亚洲南半球 重叠
(overlapsSpatially CentralAfrica SouthernHemisphere) Geography.kif 188-188 中非南半球 重叠
(overlapsSpatially EasternAfrica SouthernHemisphere) Geography.kif 192-192 东非南半球 重叠
(overlapsSpatially EasternSouthAmerica SouthernHemisphere) Geography.kif 243-243 东南美洲南半球 重叠
(overlapsSpatially NorthernSouthAmerica SouthernHemisphere) Geography.kif 247-247 北美洲南部南半球 重叠
(overlapsSpatially Oceania SouthernHemisphere) Geography.kif 3462-3462 大洋洲南半球 重叠
(overlapsSpatially SouthAmerica SouthernHemisphere) Geography.kif 3439-3439 南美洲南半球 重叠
(overlapsSpatially SoutheasternAsia SouthernHemisphere) Geography.kif 270-270 东南亚南半球 重叠
(overlapsSpatially SouthernAsia SouthernHemisphere) Geography.kif 266-266 南亚南半球 重叠
(overlapsSpatially Tropics SouthernHemisphere) Geography.kif 3523-3523 热带南半球 重叠
(overlapsSpatially WesternAfrica SouthernHemisphere) Geography.kif 204-204 西非南半球 重叠
(overlapsSpatially WesternSouthAmerica SouthernHemisphere) Geography.kif 254-254 西南美洲南半球 重叠
(termFormat ChineseLanguage SouthernHemisphere "南半球") domainEnglishFormat.kif 54195-54195
(termFormat ChineseTraditionalLanguage SouthernHemisphere "南半球") domainEnglishFormat.kif 54194-54194
(termFormat EnglishLanguage SouthernHemisphere "southern hemisphere") domainEnglishFormat.kif 54193-54193

consequent
-------------------------


(<=>
    (instance ?HEMISPHERE Hemisphere)
    (or
        (equal ?HEMISPHERE NorthernHemisphere)
        (equal ?HEMISPHERE SouthernHemisphere)
        (equal ?HEMISPHERE EasternHemisphere)
        (equal ?HEMISPHERE WesternHemisphere)))
Geography.kif 3393-3399 实体半球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