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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hemisphere
Hemisphere

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


(documentation Hemisphere EnglishLanguage "Hemisphere is the class of GeographicAreas that are halves of the Earth, as traditionally divided into the Northern and Southern Hemispheres along the equator and into the Eastern and Western Hemispheres along a north-south line running 20�W and 160�E.") Geography.kif 3322-3325
(externalImage Hemisphere "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Sphere_halve.png") pictureList.kif 1803-1803 externalImage Hemisphere and "http://upload.wikimedia.org/wikipedia/commons/e/e5/ Sphere_halve.png"
(subclass Hemisphere GeographicArea) Geography.kif 3321-3321 subclass Hemisphere and GeographicArea

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


(instance EasternHemisphere Hemisphere) Geography.kif 3339-3339 instance EasternHemisphere and Hemisphere
(instance NorthernHemisphere Hemisphere) Geography.kif 3331-3331 instance NorthernHemisphere and Hemisphere
(instance SouthernHemisphere Hemisphere) Geography.kif 3335-3335 instance SouthernHemisphere and Hemisphere
(instance WesternHemisphere Hemisphere) Geography.kif 3343-3343 instance WesternHemisphere and Hemisphere
(termFormat ChineseLanguage Hemisphere "半球") domainEnglishFormat.kif 27823-27823 termFormat ChineseLanguage, Hemisphere and "半球"
(termFormat ChineseTraditionalLanguage Hemisphere "半球") domainEnglishFormat.kif 27822-27822 termFormat ChineseTraditionalLanguage, Hemisphere and "半球"
(termFormat EnglishLanguage Hemisphere "hemisphere") domainEnglishFormat.kif 27821-27821 termFormat EnglishLanguage, Hemisphere and "hemisphere"

antecedent
-------------------------


(<=>
    (instance ?HEMISPHERE Hemisphere)
    (or
        (equal ?HEMISPHERE NorthernHemisphere)
        (equal ?HEMISPHERE SouthernHemisphere)
        (equal ?HEMISPHERE EasternHemisphere)
        (equal ?HEMISPHERE WesternHemisphere)))
Geography.kif 3347-3353 instance Entity and Hemisphere equal Entity and NorthernHemisphere equal Entity and SouthernHemisphere equal Entity and EasternHemisphere equal Entity and WesternHemisphere
(=>
    (instance ?AREA Hemisphere)
    (geographicSubregion ?AREA PlanetEarth))
Geography.kif 3327-3329


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners