Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Star(star)
|  | Aldebaran, Algol, Alpha_Centauri, Alpha_Crucis, Alpha_Orionis, Altair, Antares, Arcturus, Asterope, Beta_Centauri, Beta_Crucis, Beta_Orionis, Betelgeuse, Canicula, Canopus, Capella, Deneb, Denebola, Dog_Star, Epsilon_Aurigae, North_Star, Polaris, Pollux, Procyon, Proxima, Proxima_Centauri, Regulus, Rigel, Rigil, Rigil_Kent, Sirius, Sothis, Spica, Sterope, Vega, fixed_star, flare_star, giant, giant_star, loadstar, lodestar, neutron_star, nova, polar_star, pole_star, polestar, pulsar, red_dwarf, red_dwarf_star, red_giant... |
| 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 |
|