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 3410-3411
(externalImage SouthernHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 82/ Southern_Hemisphere_LamAz.png") pictureList.kif 1996-1996
(instance SouthernHemisphere Hemisphere) Geography.kif 3409-3409 南半球半球instance

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


(geographicSubregion Antarctica SouthernHemisphere) Geography.kif 3472-3472 南极洲南半球geographic 次要地区
(geographicSubregion CentralSouthAmerica SouthernHemisphere) Geography.kif 239-239 中南美洲南半球geographic 次要地区
(geographicSubregion SouthAtlanticOcean SouthernHemisphere) Geography.kif 4468-4468 南大西洋南半球geographic 次要地区
(geographicSubregion SouthPacificOcean SouthernHemisphere) Geography.kif 4527-4527 南太平洋南半球geographic 次要地区
(geographicSubregion SouthernAfrica SouthernHemisphere) Geography.kif 199-199 非洲南部南半球geographic 次要地区
(geographicSubregion SouthernOcean SouthernHemisphere) Geography.kif 4565-4565 南部海洋南半球geographic 次要地区
(geographicSubregion SouthernSouthAmerica SouthernHemisphere) Geography.kif 250-250 南美洲南部南半球geographic 次要地区
(overlapsSpatially Africa SouthernHemisphere) Geography.kif 3457-3457 非洲南半球 重叠
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3484-3484 亚洲南半球 重叠
(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 3490-3490 大洋洲南半球 重叠
(overlapsSpatially SouthAmerica SouthernHemisphere) Geography.kif 3467-3467 南美洲南半球 重叠
(overlapsSpatially SoutheasternAsia SouthernHemisphere) Geography.kif 270-270 东南亚南半球 重叠
(overlapsSpatially SouthernAsia SouthernHemisphere) Geography.kif 266-266 南亚南半球 重叠
(overlapsSpatially Tropics SouthernHemisphere) Geography.kif 3551-3551 热带南半球 重叠
(overlapsSpatially WesternAfrica SouthernHemisphere) Geography.kif 204-204 西非南半球 重叠
(overlapsSpatially WesternSouthAmerica SouthernHemisphere) Geography.kif 254-254 西南美洲南半球 重叠
(termFormat ChineseLanguage SouthernHemisphere "南半球") domainEnglishFormat.kif 54202-54202
(termFormat ChineseTraditionalLanguage SouthernHemisphere "南半球") domainEnglishFormat.kif 54201-54201
(termFormat EnglishLanguage SouthernHemisphere "southern hemisphere") domainEnglishFormat.kif 54200-54200

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


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