Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Star
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Star AstronomicalBody) | Mid-level-ontology.kif 12478-12478 | Star is a subclass of astronomical body |
| (documentation Star EnglishLanguage "Star is the class of hot gaseous astronomical bodies.") | Mid-level-ontology.kif 12479-12480 | Star is a subclass of astronomical body |
| (externalImage Star "http://upload.wikimedia.org/wikipedia/commons/4/44/ Alpheratz.gif") | pictureList.kif 177-177 | Star is a subclass of astronomical body |
| (externalImage Star "http://articulatesoftware.com/SUMOpictures/signs_symbol/ stars/ Star_115.png") | pictureList.kif 755-755 | Star is a subclass of astronomical body |
| appearance as argument number 2 |
|
|
| (instance Sol Star) | Mid-level-ontology.kif 12482-12482 | Sol is an instance of star |
| (termFormat EnglishLanguage Star "star") | domainEnglishFormat.kif 55039-55039 | Sol is an instance of star |
| (termFormat ChineseTraditionalLanguage Star "星") | domainEnglishFormat.kif 55040-55040 | Sol is an instance of star |
| (termFormat ChineseLanguage Star "星") | domainEnglishFormat.kif 55041-55041 | Sol is an instance of star |
|
