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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Planet

appearance as argument number 1

(documentation Planet EnglishLanguage "Planet is the class of large NaturalSatellites that revolve around a star.") Geography.kif 3325-3326
(externalImage Planet " Saturn_%28planet%29_large.jpg") pictureList.kif 1497-1497
(subclass Planet NaturalSatellite) Geography.kif 3324-3324

appearance as argument number 2

(instance PlanetEarth Planet) Geography.kif 3328-3328
(instance PlanetJupiter Planet) Geography.kif 3336-3336
(instance PlanetMars Planet) Geography.kif 3334-3334
(instance PlanetMercury Planet) Geography.kif 3330-3330
(instance PlanetNeptune Planet) Geography.kif 3340-3340
(instance PlanetPluto Planet) Geography.kif 3344-3344
(instance PlanetSaturn Planet) Geography.kif 3338-3338
(instance PlanetUranus Planet) Geography.kif 3342-3342
(instance PlanetVenus Planet) Geography.kif 3332-3332
(termFormat ChineseLanguage Planet "行星") domainEnglishFormat.kif 46015-46015
(termFormat ChineseTraditionalLanguage Planet "行星") domainEnglishFormat.kif 46014-46014
(termFormat EnglishLanguage Planet "planet") domainEnglishFormat.kif 46013-46013

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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