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 3385-3388
(externalImage Hemisphere "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Sphere_halve.png") pictureList.kif 1803-1803
(subclass Hemisphere GeographicArea) Geography.kif 3384-3384 半球地理区域subclass

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


(instance EasternHemisphere Hemisphere) Geography.kif 3402-3402 东半球半球instance
(instance NorthernHemisphere Hemisphere) Geography.kif 3394-3394 北半球半球instance
(instance SouthernHemisphere Hemisphere) Geography.kif 3398-3398 南半球半球instance
(instance WesternHemisphere Hemisphere) Geography.kif 3406-3406 西半球半球instance
(termFormat ChineseLanguage Hemisphere "半球") domainEnglishFormat.kif 27906-27906
(termFormat ChineseTraditionalLanguage Hemisphere "半球") domainEnglishFormat.kif 27905-27905
(termFormat EnglishLanguage Hemisphere "hemisphere") domainEnglishFormat.kif 27904-27904

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


(<=>
    (instance ?HEMISPHERE Hemisphere)
    (or
        (equal ?HEMISPHERE NorthernHemisphere)
        (equal ?HEMISPHERE SouthernHemisphere)
        (equal ?HEMISPHERE EasternHemisphere)
        (equal ?HEMISPHERE WesternHemisphere)))
Geography.kif 3410-3416 实体半球instance 若且唯若 那个 实体 equal 北半球那个 实体 equal 南半球那个 实体 equal 东半球那个 实体 equal 西半球
(=>
    (instance ?AREA Hemisphere)
    (geographicSubregion ?AREA PlanetEarth))
Geography.kif 3390-3392


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