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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SouthernHemisphere
SouthernHemisphere(southern hemisphere)
southern_hemisphere, 南半球

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


(documentation SouthernHemisphere EnglishLanguage "The half of the Earth that lies below the equator.") Geography.kif 3323-3324
(externalImage SouthernHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 82/ Southern_Hemisphere_LamAz.png") pictureList.kif 1996-1996 "http://upload.wikimedia.org/wikipedia/commons/8/82/ Southern_Hemisphere_LamAz.png" is a URL depicting southern hemisphere
(instance SouthernHemisphere Hemisphere) Geography.kif 3322-3322 Southern hemisphere is an instance of hemisphere

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


(geographicSubregion Antarctica SouthernHemisphere) Geography.kif 3385-3385 Antarctica is a geographic subregion of southern hemisphere
(geographicSubregion CentralSouthAmerica SouthernHemisphere) Geography.kif 239-239 Central south america is a geographic subregion of southern hemisphere
(geographicSubregion SouthAtlanticOcean SouthernHemisphere) Geography.kif 4301-4301 South atlantic ocean is a geographic subregion of southern hemisphere
(geographicSubregion SouthPacificOcean SouthernHemisphere) Geography.kif 4334-4334 South pacific ocean is a geographic subregion of southern hemisphere
(geographicSubregion SouthernAfrica SouthernHemisphere) Geography.kif 199-199 Southern africa is a geographic subregion of southern hemisphere
(geographicSubregion SouthernOcean SouthernHemisphere) Geography.kif 4372-4372 Southern ocean is a geographic subregion of southern hemisphere
(geographicSubregion SouthernSouthAmerica SouthernHemisphere) Geography.kif 250-250 Southern south america is a geographic subregion of southern hemisphere
(overlapsSpatially Africa SouthernHemisphere) Geography.kif 3370-3370 overlaps spatially africa and southern hemisphere
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3397-3397 overlaps spatially asia and southern hemisphere
(overlapsSpatially CentralAfrica SouthernHemisphere) Geography.kif 188-188 overlaps spatially central africa and southern hemisphere
(overlapsSpatially EasternAfrica SouthernHemisphere) Geography.kif 192-192 overlaps spatially eastern africa and southern hemisphere
(overlapsSpatially EasternSouthAmerica SouthernHemisphere) Geography.kif 243-243 overlaps spatially eastern south america and southern hemisphere
(overlapsSpatially NorthernSouthAmerica SouthernHemisphere) Geography.kif 247-247 overlaps spatially northern south america and southern hemisphere
(overlapsSpatially Oceania SouthernHemisphere) Geography.kif 3403-3403 overlaps spatially oceania and southern hemisphere
(overlapsSpatially SouthAmerica SouthernHemisphere) Geography.kif 3380-3380 overlaps spatially south america and southern hemisphere
(overlapsSpatially SoutheasternAsia SouthernHemisphere) Geography.kif 270-270 overlaps spatially southeastern asia and southern hemisphere
(overlapsSpatially SouthernAsia SouthernHemisphere) Geography.kif 266-266 overlaps spatially southern asia and southern hemisphere
(overlapsSpatially Tropics SouthernHemisphere) Geography.kif 3443-3443 overlaps spatially tropics and southern hemisphere
(overlapsSpatially WesternAfrica SouthernHemisphere) Geography.kif 204-204 overlaps spatially western africa and southern hemisphere
(overlapsSpatially WesternSouthAmerica SouthernHemisphere) Geography.kif 254-254 overlaps spatially western south america and southern hemisphere
(termFormat ChineseLanguage SouthernHemisphere "南半球") domainEnglishFormat.kif 54151-54151 "南半球" is the printable form of southern hemisphere in ChineseLanguage
(termFormat ChineseTraditionalLanguage SouthernHemisphere "南半球") domainEnglishFormat.kif 54150-54150 "南半球" is the printable form of southern hemisphere in ChineseTraditionalLanguage
(termFormat EnglishLanguage SouthernHemisphere "southern hemisphere") domainEnglishFormat.kif 54149-54149 "southern hemisphere" is the printable form of southern hemisphere in english language

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


(<=>
    (instance ?HEMISPHERE Hemisphere)
    (or
        (equal ?HEMISPHERE NorthernHemisphere)
        (equal ?HEMISPHERE SouthernHemisphere)
        (equal ?HEMISPHERE EasternHemisphere)
        (equal ?HEMISPHERE WesternHemisphere)))
Geography.kif 3334-3340 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners