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 3621-3624
(externalImage Hemisphere "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Sphere_halve.png") pictureList.kif 1801-1801
(subclass Hemisphere GeographicArea) Geography.kif 3620-3620 Hemisphere地理的地域subclass では

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


(instance EasternHemisphere Hemisphere) Geography.kif 3638-3638 EasternHemisphereHemisphereinstance では
(instance NorthernHemisphere Hemisphere) Geography.kif 3630-3630 NorthernHemisphereHemisphereinstance では
(instance SouthernHemisphere Hemisphere) Geography.kif 3634-3634 SouthernHemisphereHemisphereinstance では
(instance WesternHemisphere Hemisphere) Geography.kif 3642-3642 WesternHemisphereHemisphereinstance では
(termFormat ChineseLanguage Hemisphere "半球") domainEnglishFormat.kif 27926-27926 WesternHemisphereHemisphereinstance では
(termFormat ChineseTraditionalLanguage Hemisphere "半球") domainEnglishFormat.kif 27925-27925 WesternHemisphereHemisphereinstance では
(termFormat EnglishLanguage Hemisphere "hemisphere") domainEnglishFormat.kif 27924-27924 WesternHemisphereHemisphereinstance では

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


(<=>
    (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
(=>
    (instance ?AREA Hemisphere)
    (geographicSubregion ?AREA PlanetEarth))
Geography.kif 3626-3628


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