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 3463-3466
(externalImage Hemisphere "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Sphere_halve.png") pictureList.kif 1802-1802
(subclass Hemisphere GeographicArea) Geography.kif 3462-3462 子類 半球 and GeographicArea

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


(instance EasternHemisphere Hemisphere) Geography.kif 3480-3480 東半球 and 半球
(instance NorthernHemisphere Hemisphere) Geography.kif 3472-3472 北半球 and 半球
(instance SouthernHemisphere Hemisphere) Geography.kif 3476-3476 南半球 and 半球
(instance WesternHemisphere Hemisphere) Geography.kif 3484-3484 西半球 and 半球
(termFormat ChineseLanguage Hemisphere "半球") domainEnglishFormat.kif 27915-27915
(termFormat ChineseTraditionalLanguage Hemisphere "半球") domainEnglishFormat.kif 27914-27914
(termFormat EnglishLanguage Hemisphere "hemisphere") domainEnglishFormat.kif 27913-27913

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


(<=>
    (instance ?HEMISPHERE Hemisphere)
    (or
        (equal ?HEMISPHERE NorthernHemisphere)
        (equal ?HEMISPHERE SouthernHemisphere)
        (equal ?HEMISPHERE EasternHemisphere)
        (equal ?HEMISPHERE WesternHemisphere)))
Geography.kif 3488-3494 Entity and 半球 等於 Entity and 北半球 等於 Entity and 南半球 等於 Entity and 東半球 等於 Entity and 西半球
(=>
    (instance ?AREA Hemisphere)
    (geographicSubregion ?AREA PlanetEarth))
Geography.kif 3468-3470


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