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

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


(geographicSubregion Antarctica SouthernHemisphere) Geography.kif 3697-3697 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 4798-4798 South atlantic ocean is a geographic subregion of southern hemisphere
(geographicSubregion SouthPacificOcean SouthernHemisphere) Geography.kif 4857-4857 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 4895-4895 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 3682-3682 Africa and southern hemisphere overlapsSpatially
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3709-3709 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 3715-3715 Oceania and southern hemisphere overlapsSpatially
(overlapsSpatially SouthAmerica SouthernHemisphere) Geography.kif 3692-3692 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 3776-3776 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 54220-54220 Western south america and southern hemisphere overlapsSpatially
(termFormat ChineseTraditionalLanguage SouthernHemisphere "南半球") domainEnglishFormat.kif 54219-54219 Western south america and southern hemisphere overlapsSpatially
(termFormat EnglishLanguage SouthernHemisphere "southern hemisphere") domainEnglishFormat.kif 54218-54218 Western south america and southern hemisphere overlapsSpatially

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


(<=>
    (instance ?HEMISPHERE Hemisphere)
    (or
        (equal ?HEMISPHERE NorthernHemisphere)
        (equal ?HEMISPHERE SouthernHemisphere)
        (equal ?HEMISPHERE EasternHemisphere)
        (equal ?HEMISPHERE WesternHemisphere)))
Geography.kif 3646-3652 An entity is an instance of hemisphere if and only if equal the entity and northern hemisphere or equal the entity and southern hemisphere or equal the entity and eastern hemisphere or equal the entity and 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