more pictures...
| AstronomicalBody(astronomical body)
more pictures... | | Alpha_Geminorum, Andromeda, Antlia, Apollo_asteroid, Apus, Aquarius, Aquila, Ara, Aries, Auriga, Big_Dipper, Bootes, Caelum, Cancer, Canis_Major, Canis_Minor, Capricorn, Capricornus, Carina, Cassiopeia, Castor, Centaur, Centaurus, Cepheus, Ceres, Cetus, Chamaeleon, Chameleon, Charioteer, Charles's_Wain, Chiron, Circinus, Columba, Coma_Berenices, Copernican, Corona_Borealis, Corvus, Crab_Nebula, Crane, Crater, Crow, Crux, Crux_Australis, Cygnus, Delphinus, Dipper, Dorado, Dove, Draco, Dragon... |
| appearance as argument number 1 |
|
|
| (disjoint AstronomicalBody GeographicArea) | Merge.kif 14176-14176 | Astronomical body is disjoint from geographic area |
| (documentation AstronomicalBody ChineseLanguage "这是所有有显著大小天文物体的 Class。它包括 SelfConnectedObject 如：星球、星斗和小行星，与 Collection 如：星云、星系和星座。注：地球是一个 AstronomicalBody，但是地球的每一个 Region 都是一处 GeographicArea。") | chinese_format.kif 1432-1434 | Astronomical body is disjoint from geographic area |
| (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 | Astronomical body is disjoint from geographic area |
| (externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ Crab_Nebula.jpg") | pictureList.kif 8352-8352 | Astronomical body is disjoint from geographic area |
| (externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Grav.lens1.arp.750pix.jpg") | pictureList.kif 8917-8917 | Astronomical body is disjoint from geographic area |
| (externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ Ant_Nebula.jpg") | pictureList.kif 8918-8918 | Astronomical body is disjoint from geographic area |
| (externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 6/ 66/ Uvsun_trace_big.jpg") | pictureList.kif 8919-8919 | Astronomical body is disjoint from geographic area |
| (externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7a/ Galileo_moon_phases.jpg") | pictureList.kif 8920-8920 | Astronomical body is disjoint from geographic area |
| (subclass AstronomicalBody Object) | Merge.kif 14175-14175 | Astronomical body is a subclass of object |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain CenterOfPlanetFn 1 AstronomicalBody) | Mid-level-ontology.kif 27450-27450 | The number 1 argument of level plane is an instance of astronomical body |
| (domain LevelPlaneFn 2 AstronomicalBody) | Mid-level-ontology.kif 27426-27426 | The number 2 argument of level plane is an instance of astronomical body |
| (domain orbits 2 AstronomicalBody) | Geography.kif 3532-3532 | The number 2 argument of orbits is an instance of astronomical body |
| 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 |
|
|
|
|