AstronomicalBody
|
|
appearance as argument number 1 |
(disjoint AstronomicalBody GeographicArea) | Merge.kif 14023-14023 | AstronomicalBody ist dijunkt von GeographicArea %n{nicht} |
(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 14024-14029 | |
(externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ Crab_Nebula.jpg") | pictureList.kif 8353-8353 | |
(externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Grav.lens1.arp.750pix.jpg") | pictureList.kif 8918-8918 | |
(externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ Ant_Nebula.jpg") | pictureList.kif 8919-8919 | |
(externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 6/ 66/ Uvsun_trace_big.jpg") | pictureList.kif 8920-8920 | |
(externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7a/ Galileo_moon_phases.jpg") | pictureList.kif 8921-8921 | |
(subclass AstronomicalBody Object) | Merge.kif 14022-14022 | AstronomicalBody ist eine teilkategorie von Object |
appearance as argument number 2 |
appearance as argument number 3 |
(domain orbits 2 AstronomicalBody) | Geography.kif 3374-3374 | Die Zahl 2 Argument von orbits ist ein fall von AstronomicalBody %n{nicht} |
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 3379-3384 |
|