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

Formal Language: 


KB Term:  Term intersection
English Word: 

  SouthernHemisphere

 Sigma KEE - SouthernHemisphere
SouthernHemisphere

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


(documentation SouthernHemisphere EnglishLanguage "The half of the Earth that lies below the equator.") Geography.kif 3602-3603
(externalImage SouthernHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 82/ Southern_Hemisphere_LamAz.png") pictureList.kif 1994-1994
(instance SouthernHemisphere Hemisphere) Geography.kif 3601-3601

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


(geographicSubregion Antarctica SouthernHemisphere) Geography.kif 3664-3664
(geographicSubregion CentralSouthAmerica SouthernHemisphere) Geography.kif 239-239
(geographicSubregion SouthAtlanticOcean SouthernHemisphere) Geography.kif 4765-4765
(geographicSubregion SouthPacificOcean SouthernHemisphere) Geography.kif 4824-4824
(geographicSubregion SouthernAfrica SouthernHemisphere) Geography.kif 199-199
(geographicSubregion SouthernOcean SouthernHemisphere) Geography.kif 4862-4862
(geographicSubregion SouthernSouthAmerica SouthernHemisphere) Geography.kif 250-250
(overlapsSpatially Africa SouthernHemisphere) Geography.kif 3649-3649
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3676-3676
(overlapsSpatially CentralAfrica SouthernHemisphere) Geography.kif 188-188
(overlapsSpatially EasternAfrica SouthernHemisphere) Geography.kif 192-192
(overlapsSpatially EasternSouthAmerica SouthernHemisphere) Geography.kif 243-243
(overlapsSpatially NorthernSouthAmerica SouthernHemisphere) Geography.kif 247-247
(overlapsSpatially Oceania SouthernHemisphere) Geography.kif 3682-3682
(overlapsSpatially SouthAmerica SouthernHemisphere) Geography.kif 3659-3659
(overlapsSpatially SoutheasternAsia SouthernHemisphere) Geography.kif 270-270
(overlapsSpatially SouthernAsia SouthernHemisphere) Geography.kif 266-266
(overlapsSpatially Tropics SouthernHemisphere) Geography.kif 3743-3743
(overlapsSpatially WesternAfrica SouthernHemisphere) Geography.kif 204-204
(overlapsSpatially WesternSouthAmerica SouthernHemisphere) Geography.kif 254-254
(termFormat ChineseLanguage SouthernHemisphere "南半球") domainEnglishFormat.kif 54220-54220
(termFormat ChineseTraditionalLanguage SouthernHemisphere "南半球") domainEnglishFormat.kif 54219-54219
(termFormat EnglishLanguage SouthernHemisphere "southern hemisphere") domainEnglishFormat.kif 54218-54218

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


(<=>
    (instance ?HEMISPHERE Hemisphere)
    (or
        (equal ?HEMISPHERE NorthernHemisphere)
        (equal ?HEMISPHERE SouthernHemisphere)
        (equal ?HEMISPHERE EasternHemisphere)
        (equal ?HEMISPHERE WesternHemisphere)))		 Geography.kif 3613-3619


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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