more pictures...
| AstronomicalBody(天体)
more pictures... | |
| appearance as argument number 1 |
|
|
| (disjoint AstronomicalBody GeographicArea) | Merge.kif 14176-14176 | 天体 と 地理的地域 は disjoint では |
| (documentation AstronomicalBody ChineseLanguage "这是所有有显著大小天文物体的 Class。它包括 SelfConnectedObject 如：星球、星斗和小行星，与 Collection 如：星云、星系和星座。注：地球是一个 AstronomicalBody，但是地球的每一个 Region 都是一处 GeographicArea。") | chinese_format.kif 1432-1434 | 天体 と 地理的地域 は disjoint では |
| (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 14177-14182 | 天体 と 地理的地域 は disjoint では |
| (externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ Crab_Nebula.jpg") | pictureList.kif 8352-8352 | 天体 と 地理的地域 は disjoint では |
| (externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Grav.lens1.arp.750pix.jpg") | pictureList.kif 8917-8917 | 天体 と 地理的地域 は disjoint では |
| (externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ Ant_Nebula.jpg") | pictureList.kif 8918-8918 | 天体 と 地理的地域 は disjoint では |
| (externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 6/ 66/ Uvsun_trace_big.jpg") | pictureList.kif 8919-8919 | 天体 と 地理的地域 は disjoint では |
| (externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7a/ Galileo_moon_phases.jpg") | pictureList.kif 8920-8920 | 天体 と 地理的地域 は disjoint では |
| (subclass AstronomicalBody Object) | Merge.kif 14175-14175 | 天体 は オブジェクト の subclass では |
| appearance as argument number 2 |
|
|
| (subclass Meteoroid AstronomicalBody) | Geography.kif 3594-3594 | Meteoroid は 天体 の subclass では |
| (subclass NaturalSatellite AstronomicalBody) | Geography.kif 3545-3545 | NaturalSatellite は 天体 の subclass では |
| (subclass Satellite AstronomicalBody) | Geography.kif 3524-3524 | Satellite は 天体 の subclass では |
| (subclass Star AstronomicalBody) | Geography.kif 3508-3508 | Star は 天体 の subclass では |
| (termFormat ChineseLanguage AstronomicalBody "天文体") | chinese_format.kif 947-947 | Star は 天体 の subclass では |
| (termFormat EnglishLanguage AstronomicalBody "astronomical body") | english_format.kif 1101-1101 | Star は 天体 の subclass では |
| (termFormat FrenchLanguage AstronomicalBody "corps astronomique") | french_format.kif 623-623 | Star は 天体 の subclass では |
| (termFormat Hindi AstronomicalBody "khagoliya kshetra") | terms-hindi.txt 154-154 | Star は 天体 の subclass では |
| (termFormat ItalianLanguage AstronomicalBody "CorpoCeleste") | terms-it.txt 157-157 | Star は 天体 の subclass では |
| (termFormat JapaneseLanguage AstronomicalBody "天体") | japanese_format.kif 2308-2308 | Star は 天体 の subclass では |
| (termFormat PortugueseLanguage AstronomicalBody "Corpo Astronomico") | portuguese_format.kif 575-575 | Star は 天体 の subclass では |
| (termFormat cz AstronomicalBody "astronomical body") | terms-cz.txt 191-191 | Star は 天体 の subclass では |
| (termFormat de AstronomicalBody "astronomische Koerper") | terms-de.txt 450-450 | Star は 天体 の subclass では |
| (termFormat ro AstronomicalBody "corp ceresc") | relations-ro.kif 644-644 | Star は 天体 の subclass では |
| (termFormat tg AstronomicalBody "bagay ng makalangit") | terms-tg.txt 158-158 | Star は 天体 の subclass では |
| appearance as argument number 3 |
|
|
| (domain CenterOfPlanetFn 1 AstronomicalBody) | Mid-level-ontology.kif 27450-27450 | CenterOfPlanetFn の数値 1 引数は 天体 の instance では |
| (domain LevelPlaneFn 2 AstronomicalBody) | Mid-level-ontology.kif 27426-27426 | LevelPlaneFn の数値 2 引数は 天体 の instance では |
| (domain orbits 2 AstronomicalBody) | Geography.kif 3532-3532 | orbits の数値 2 引数は 天体 の instance では |
| antecedent |
|
|
| (=> (and (instance ?A AstronomicalBody) (approximateDiameter ?A (MeasureFn ?D ?U)) (instance ?U UnitOfLength) (instance ?P PointInSpace) (part ?P ?A)) (exists (?C) (and (equal ?C (CenterOfPlanetFn ?A)) (distance ?C ?P (MeasureFn (DivisionFn ?D 2.0) ?U))))) |
Mid-level-ontology.kif 27453-27467 |
|
| 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 3537-3542 |
|
|
|