more pictures...
| AstronomicalBody
more pictures... | |
| appearance as argument number 1 |
|
|
| (disjoint AstronomicalBody GeographicArea) | Merge.kif 13002-13002 | disjoint AstronomicalBody and GeographicArea |
| (documentation AstronomicalBody ChineseLanguage "这是所有有显著大小天文物体的 Class。它包括 SelfConnectedObject 如：星球、星斗和小行星，与 Collection 如：星云、星系和星座。注：地球是一个 AstronomicalBody，但是地球的每一个 Region 都是一处 GeographicArea。") | chinese_format.kif 1432-1434 | |
| (documentation AstronomicalBody EnglishLanguage "The Class of all astronomical objects of significant size. It includes SelfConnectedObjects like planets, stars, and asteroids, as well as Collections like nebulae, galaxies, and constellations. Note that the planet Earth is an AstronomicalBody, but every Region of Earth is a GeographicArea.") | Merge.kif 13003-13008 | |
| (externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ Crab_Nebula.jpg") | pictureList.kif 8355-8355 | |
| (externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Grav.lens1.arp.750pix.jpg") | pictureList.kif 8923-8923 | |
| (externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ Ant_Nebula.jpg") | pictureList.kif 8924-8924 | |
| (externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 6/ 66/ Uvsun_trace_big.jpg") | pictureList.kif 8925-8925 | |
| (externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7a/ Galileo_moon_phases.jpg") | pictureList.kif 8926-8926 | |
| (subclass AstronomicalBody Object) | Merge.kif 13001-13001 | subclass AstronomicalBody and Object |
| appearance as argument number 2 |
|
|
| (subclass Meteoroid AstronomicalBody) | Geography.kif 3295-3295 | subclass Meteoroid and AstronomicalBody |
| (subclass NaturalSatellite AstronomicalBody) | Geography.kif 3246-3246 | subclass NaturalSatellite and AstronomicalBody |
| (subclass Satellite AstronomicalBody) | Geography.kif 3225-3225 | subclass Satellite and AstronomicalBody |
| (subclass Star AstronomicalBody) | Geography.kif 3209-3209 | subclass Star and AstronomicalBody |
| (termFormat ChineseLanguage AstronomicalBody "天文体") | chinese_format.kif 947-947 | |
| (termFormat EnglishLanguage AstronomicalBody "astronomical body") | english_format.kif 1106-1106 |
| appearance as argument number 3 |
|
|
| (domain orbits 2 AstronomicalBody) | Geography.kif 3233-3233 | domain orbits, 2 and AstronomicalBody |
| consequent |
|
|
| (=> (instance ?AIR Atmosphere) (exists (?BODY) (and (instance ?BODY AstronomicalBody) (meetsSpatially ?AIR ?BODY)))) |
Weather.kif 22-27 | |
| (=> (instance ?SAT Satellite) (exists (?BODY) (and (instance ?BODY AstronomicalBody) (orbits ?SAT ?BODY)))) |
Geography.kif 3238-3243 |
|
|
|