Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Astronomy(astronomy)
more pictures... |  | astrodynamics, astrometry, astronomy, astrophysics, celestial_mechanics, cosmogeny, cosmogony, cosmology, radio_astronomy, selenology, solar_physics, uranology |
| appearance as argument number 1 |
|
|
| (subclass Astronomy Science) | Mid-level-ontology.kif 23399-23399 | Astronomy is a subclass of science |
| (documentation Astronomy EnglishLanguage "Astronomy is a natural Science that deals with the study of celestial objects (or AstronomicalBody), such as Star s, Planet s, comets, nebulae, star clusters and galaxies and phenomena that originate outside the (PlanetEarth) Earth's Atmosphere") | Mid-level-ontology.kif 23400-23402 | Astronomy is a subclass of science |
| (externalImage Astronomy "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ Crab_Nebula.jpg") | pictureList.kif 8353-8353 | Astronomy is a subclass of science |
| (externalImage Astronomy "http://upload.wikimedia.org/wikipedia/commons/ 6/ 63/ USA.NM.VeryLargeArray.02.jpg") | pictureList.kif 8921-8921 | Astronomy is a subclass of science |
| (externalImage Astronomy "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ Ant_Nebula.jpg") | pictureList.kif 8922-8922 | Astronomy is a subclass of science |
| (externalImage Astronomy "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Hubble_01.jpg") | pictureList.kif 8924-8924 | Astronomy is a subclass of science |
| (externalImage Astronomy "http://upload.wikimedia.org/wikipedia/commons/ b/ bf/ Tarantula_nebula_detail.jpg") | pictureList.kif 8925-8925 | Astronomy is a subclass of science |
| (externalImage Astronomy "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ UpdatedPlanets2006.jpg") | pictureList.kif 8926-8926 | Astronomy is a subclass of science |
| (externalImage Astronomy "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ NGC_4414_%28NASA_med%29.jpg") | pictureList.kif 8927-8927 | Astronomy is a subclass of science |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attribute ?PERSON Astronomer) (hasExpertise ?PERSON Astronomy)) |
Biography.kif 396-398 | If astronomer is an attribute of X, then astronomy has an expertise in X |
|