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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SolarSystem
SolarSystem(solar system)
solar_system

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


(documentation SolarSystem EnglishLanguage "SolarSystem is the class of systems that consist of a star or stars and any encircling astronomical bodies.") Geography.kif 3363-3364
(externalImage SolarSystem "http://upload.wikimedia.org/wikipedia/commons/ c/ c2/ Solar_sys.jpg") pictureList.kif 1500-1500
(subclass SolarSystem Collection) Geography.kif 3362-3362 Solar system is a subclass of collection

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


(termFormat ChineseLanguage SolarSystem "太阳系") domainEnglishFormat.kif 53840-53840
(termFormat ChineseTraditionalLanguage SolarSystem "太陽系") domainEnglishFormat.kif 53839-53839
(termFormat EnglishLanguage SolarSystem "solar system") domainEnglishFormat.kif 53838-53838


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