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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Planet
Planet(行星)

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


(documentation Planet EnglishLanguage "Planet is the class of large NaturalSatellites that revolve around a star.") Geography.kif 3391-3392
(externalImage Planet "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Saturn_%28planet%29_large.jpg") pictureList.kif 1496-1496
(subclass Planet NaturalSatellite) Geography.kif 3390-3390 行星天然卫星subclass

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


(instance PlanetEarth Planet) Geography.kif 3394-3394 行星地球行星instance
(instance PlanetJupiter Planet) Geography.kif 3402-3402 行星木星行星instance
(instance PlanetMars Planet) Geography.kif 3400-3400 星球火星行星instance
(instance PlanetMercury Planet) Geography.kif 3396-3396 行星汞行星instance
(instance PlanetNeptune Planet) Geography.kif 3406-3406 行星海王星行星instance
(instance PlanetPluto Planet) Geography.kif 3410-3410 行星冥王星行星instance
(instance PlanetSaturn Planet) Geography.kif 3404-3404 行星土星行星instance
(instance PlanetUranus Planet) Geography.kif 3408-3408 行星天王星行星instance
(instance PlanetVenus Planet) Geography.kif 3398-3398 行星金星行星instance
(termFormat ChineseLanguage Planet "行星") domainEnglishFormat.kif 46065-46065 行星金星行星instance
(termFormat ChineseTraditionalLanguage Planet "行星") domainEnglishFormat.kif 46064-46064 行星金星行星instance
(termFormat EnglishLanguage Planet "planet") domainEnglishFormat.kif 46063-46063 行星金星行星instance


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