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 3399-3400
(externalImage SouthernHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 82/ Southern_Hemisphere_LamAz.png") pictureList.kif 1996-1996
(instance SouthernHemisphere Hemisphere) Geography.kif 3398-3398 Southern hemisphere is an instance of hemisphere

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


(geographicSubregion Antarctica SouthernHemisphere) Geography.kif 3461-3461 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 4457-4457 South atlantic ocean is a geographic subregion of southern hemisphere
(geographicSubregion SouthPacificOcean SouthernHemisphere) Geography.kif 4516-4516 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 4554-4554 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 3446-3446 Africa and southern hemisphere is overlapsSpatially
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3473-3473 Asia and southern hemisphere is overlapsSpatially
(overlapsSpatially CentralAfrica SouthernHemisphere) Geography.kif 188-188 Central africa and southern hemisphere is overlapsSpatially
(overlapsSpatially EasternAfrica SouthernHemisphere) Geography.kif 192-192 Eastern africa and southern hemisphere is overlapsSpatially
(overlapsSpatially EasternSouthAmerica SouthernHemisphere) Geography.kif 243-243 Eastern south america and southern hemisphere is overlapsSpatially
(overlapsSpatially NorthernSouthAmerica SouthernHemisphere) Geography.kif 247-247 Northern south america and southern hemisphere is overlapsSpatially
(overlapsSpatially Oceania SouthernHemisphere) Geography.kif 3479-3479 Oceania and southern hemisphere is overlapsSpatially
(overlapsSpatially SouthAmerica SouthernHemisphere) Geography.kif 3456-3456 South america and southern hemisphere is overlapsSpatially
(overlapsSpatially SoutheasternAsia SouthernHemisphere) Geography.kif 270-270 Southeastern asia and southern hemisphere is overlapsSpatially
(overlapsSpatially SouthernAsia SouthernHemisphere) Geography.kif 266-266 Southern asia and southern hemisphere is overlapsSpatially
(overlapsSpatially Tropics SouthernHemisphere) Geography.kif 3540-3540 Tropics and southern hemisphere is overlapsSpatially
(overlapsSpatially WesternAfrica SouthernHemisphere) Geography.kif 204-204 Western africa and southern hemisphere is overlapsSpatially
(overlapsSpatially WesternSouthAmerica SouthernHemisphere) Geography.kif 254-254 Western south america and southern hemisphere is overlapsSpatially
(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 3410-3416 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