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 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 SouthernHemisphereHemisphereinstance では

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


(geographicSubregion Antarctica SouthernHemisphere) Geography.kif 3697-3697 geographicSubregion Antarctica and SouthernHemisphere
(geographicSubregion CentralSouthAmerica SouthernHemisphere) Geography.kif 239-239 geographicSubregion CentralSouthAmerica and SouthernHemisphere
(geographicSubregion SouthAtlanticOcean SouthernHemisphere) Geography.kif 4798-4798 geographicSubregion SouthAtlanticOcean and SouthernHemisphere
(geographicSubregion SouthPacificOcean SouthernHemisphere) Geography.kif 4857-4857 geographicSubregion SouthPacificOcean and SouthernHemisphere
(geographicSubregion SouthernAfrica SouthernHemisphere) Geography.kif 199-199 geographicSubregion SouthernAfrica and SouthernHemisphere
(geographicSubregion SouthernOcean SouthernHemisphere) Geography.kif 4895-4895 geographicSubregion SouthernOcean and SouthernHemisphere
(geographicSubregion SouthernSouthAmerica SouthernHemisphere) Geography.kif 250-250 geographicSubregion SouthernSouthAmerica and SouthernHemisphere
(overlapsSpatially Africa SouthernHemisphere) Geography.kif 3682-3682 overlapsSpatially Africa and SouthernHemisphere
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3709-3709 overlapsSpatially Asia and SouthernHemisphere
(overlapsSpatially CentralAfrica SouthernHemisphere) Geography.kif 188-188 overlapsSpatially CentralAfrica and SouthernHemisphere
(overlapsSpatially EasternAfrica SouthernHemisphere) Geography.kif 192-192 overlapsSpatially EasternAfrica and SouthernHemisphere
(overlapsSpatially EasternSouthAmerica SouthernHemisphere) Geography.kif 243-243 overlapsSpatially EasternSouthAmerica and SouthernHemisphere
(overlapsSpatially NorthernSouthAmerica SouthernHemisphere) Geography.kif 247-247 overlapsSpatially NorthernSouthAmerica and SouthernHemisphere
(overlapsSpatially Oceania SouthernHemisphere) Geography.kif 3715-3715 overlapsSpatially Oceania and SouthernHemisphere
(overlapsSpatially SouthAmerica SouthernHemisphere) Geography.kif 3692-3692 overlapsSpatially SouthAmerica and SouthernHemisphere
(overlapsSpatially SoutheasternAsia SouthernHemisphere) Geography.kif 270-270 overlapsSpatially SoutheasternAsia and SouthernHemisphere
(overlapsSpatially SouthernAsia SouthernHemisphere) Geography.kif 266-266 overlapsSpatially SouthernAsia and SouthernHemisphere
(overlapsSpatially Tropics SouthernHemisphere) Geography.kif 3776-3776 overlapsSpatially Tropics and SouthernHemisphere
(overlapsSpatially WesternAfrica SouthernHemisphere) Geography.kif 204-204 overlapsSpatially WesternAfrica and SouthernHemisphere
(overlapsSpatially WesternSouthAmerica SouthernHemisphere) Geography.kif 254-254 overlapsSpatially WesternSouthAmerica and SouthernHemisphere
(termFormat ChineseLanguage SouthernHemisphere "南半球") domainEnglishFormat.kif 54220-54220 overlapsSpatially WesternSouthAmerica and SouthernHemisphere
(termFormat ChineseTraditionalLanguage SouthernHemisphere "南半球") domainEnglishFormat.kif 54219-54219 overlapsSpatially WesternSouthAmerica and SouthernHemisphere
(termFormat EnglishLanguage SouthernHemisphere "southern hemisphere") domainEnglishFormat.kif 54218-54218 overlapsSpatially WesternSouthAmerica and SouthernHemisphere

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


(<=>
    (instance ?HEMISPHERE Hemisphere)
    (or
        (equal ?HEMISPHERE NorthernHemisphere)
        (equal ?HEMISPHERE SouthernHemisphere)
        (equal ?HEMISPHERE EasternHemisphere)
        (equal ?HEMISPHERE WesternHemisphere)))
Geography.kif 3646-3652 エンティティーHemisphereinstance では equal エンティティー and NorthernHemisphere equal エンティティー and SouthernHemisphere equal エンティティー and EasternHemisphere equal エンティティー and 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