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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SouthernHemisphere
SouthernHemisphere(southern hemisphere)

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


(documentation SouthernHemisphere EnglishLanguage "The half of the Earth that lies below the equator.") Geography.kif 3477-3478
(externalImage SouthernHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 82/ Southern_Hemisphere_LamAz.png") pictureList.kif 1995-1995
(instance SouthernHemisphere Hemisphere) Geography.kif 3476-3476 Southern hemisphere is an instance of hemisphere

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


(geographicSubregion Antarctica SouthernHemisphere) Geography.kif 3539-3539 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 4558-4558 South atlantic ocean is a geographic subregion of southern hemisphere
(geographicSubregion SouthPacificOcean SouthernHemisphere) Geography.kif 4617-4617 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 4655-4655 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 3524-3524 Africa and southern hemisphere overlapsSpatially
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3551-3551 Asia and southern hemisphere overlapsSpatially
(overlapsSpatially CentralAfrica SouthernHemisphere) Geography.kif 188-188 Central africa and southern hemisphere overlapsSpatially
(overlapsSpatially EasternAfrica SouthernHemisphere) Geography.kif 192-192 Eastern africa and southern hemisphere overlapsSpatially
(overlapsSpatially EasternSouthAmerica SouthernHemisphere) Geography.kif 243-243 Eastern south america and southern hemisphere overlapsSpatially
(overlapsSpatially NorthernSouthAmerica SouthernHemisphere) Geography.kif 247-247 Northern south america and southern hemisphere overlapsSpatially
(overlapsSpatially Oceania SouthernHemisphere) Geography.kif 3557-3557 Oceania and southern hemisphere overlapsSpatially
(overlapsSpatially SouthAmerica SouthernHemisphere) Geography.kif 3534-3534 South america and southern hemisphere overlapsSpatially
(overlapsSpatially SoutheasternAsia SouthernHemisphere) Geography.kif 270-270 Southeastern asia and southern hemisphere overlapsSpatially
(overlapsSpatially SouthernAsia SouthernHemisphere) Geography.kif 266-266 Southern asia and southern hemisphere overlapsSpatially
(overlapsSpatially Tropics SouthernHemisphere) Geography.kif 3618-3618 Tropics and southern hemisphere overlapsSpatially
(overlapsSpatially WesternAfrica SouthernHemisphere) Geography.kif 204-204 Western africa and southern hemisphere overlapsSpatially
(overlapsSpatially WesternSouthAmerica SouthernHemisphere) Geography.kif 254-254 Western south america and southern hemisphere overlapsSpatially
(termFormat ChineseLanguage SouthernHemisphere "南半球") domainEnglishFormat.kif 54216-54216
(termFormat ChineseTraditionalLanguage SouthernHemisphere "南半球") domainEnglishFormat.kif 54215-54215
(termFormat EnglishLanguage SouthernHemisphere "southern hemisphere") domainEnglishFormat.kif 54214-54214

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


(<=>
    (instance ?HEMISPHERE Hemisphere)
    (or
        (equal ?HEMISPHERE NorthernHemisphere)
        (equal ?HEMISPHERE SouthernHemisphere)
        (equal ?HEMISPHERE EasternHemisphere)
        (equal ?HEMISPHERE WesternHemisphere)))
Geography.kif 3488-3494 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 3.0 is open source software produced by Articulate Software and its partners