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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SolarSystem
SolarSystem

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

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


(termFormat ChineseLanguage SolarSystem "太阳系") domainEnglishFormat.kif 53875-53875
(termFormat ChineseTraditionalLanguage SolarSystem "太陽系") domainEnglishFormat.kif 53874-53874
(termFormat EnglishLanguage SolarSystem "solar system") domainEnglishFormat.kif 53873-53873


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