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 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 SouthernHemisphere e' uma instancia de Hemisphere

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


(geographicSubregion Antarctica SouthernHemisphere) Geography.kif 3539-3539 geographicSubregion Antarctica and SouthernHemisphere
(geographicSubregion CentralSouthAmerica SouthernHemisphere) Geography.kif 239-239 geographicSubregion CentralSouthAmerica and SouthernHemisphere
(geographicSubregion SouthAtlanticOcean SouthernHemisphere) Geography.kif 4558-4558 geographicSubregion SouthAtlanticOcean and SouthernHemisphere
(geographicSubregion SouthPacificOcean SouthernHemisphere) Geography.kif 4617-4617 geographicSubregion SouthPacificOcean and SouthernHemisphere
(geographicSubregion SouthernAfrica SouthernHemisphere) Geography.kif 199-199 geographicSubregion SouthernAfrica and SouthernHemisphere
(geographicSubregion SouthernOcean SouthernHemisphere) Geography.kif 4655-4655 geographicSubregion SouthernOcean and SouthernHemisphere
(geographicSubregion SouthernSouthAmerica SouthernHemisphere) Geography.kif 250-250 geographicSubregion SouthernSouthAmerica and SouthernHemisphere
(overlapsSpatially Africa SouthernHemisphere) Geography.kif 3524-3524 Africa engloba SouthernHemisphere
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3551-3551 Asia engloba SouthernHemisphere
(overlapsSpatially CentralAfrica SouthernHemisphere) Geography.kif 188-188 CentralAfrica engloba SouthernHemisphere
(overlapsSpatially EasternAfrica SouthernHemisphere) Geography.kif 192-192 EasternAfrica engloba SouthernHemisphere
(overlapsSpatially EasternSouthAmerica SouthernHemisphere) Geography.kif 243-243 EasternSouthAmerica engloba SouthernHemisphere
(overlapsSpatially NorthernSouthAmerica SouthernHemisphere) Geography.kif 247-247 NorthernSouthAmerica engloba SouthernHemisphere
(overlapsSpatially Oceania SouthernHemisphere) Geography.kif 3557-3557 Oceania engloba SouthernHemisphere
(overlapsSpatially SouthAmerica SouthernHemisphere) Geography.kif 3534-3534 SouthAmerica engloba SouthernHemisphere
(overlapsSpatially SoutheasternAsia SouthernHemisphere) Geography.kif 270-270 SoutheasternAsia engloba SouthernHemisphere
(overlapsSpatially SouthernAsia SouthernHemisphere) Geography.kif 266-266 SouthernAsia engloba SouthernHemisphere
(overlapsSpatially Tropics SouthernHemisphere) Geography.kif 3618-3618 Tropics engloba SouthernHemisphere
(overlapsSpatially WesternAfrica SouthernHemisphere) Geography.kif 204-204 WesternAfrica engloba SouthernHemisphere
(overlapsSpatially WesternSouthAmerica SouthernHemisphere) Geography.kif 254-254 WesternSouthAmerica engloba SouthernHemisphere
(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 Entidade e' uma instancia de Hemisphere Entidade e' igual a NorthernHemisphere Entidade e' igual a SouthernHemisphere Entidade e' igual a EasternHemisphere Entidade e' igual a WesternHemisphere


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