Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AstronomicalBody
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 14017-14017 Astronomical body is disjoint from geographic area
(documentation AstronomicalBody ChineseLanguage "这是所有有显著大小天文物体的 Class。它包括 SelfConnectedObject 如:星球、星斗和小行星,与 Collection 如:星云、星系和星座。注:地球是一个 AstronomicalBody,但是地球的每一个 Region 都是一处 GeographicArea。") Merge.kif 14024-14026
(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 14018-14023
(externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ Crab_Nebula.jpg") pictureList.kif 8355-8355 "http://upload.wikimedia.org/wikipedia/commons/0/00/ Crab_Nebula.jpg" is a URL depicting astronomical body
(externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Grav.lens1.arp.750pix.jpg") pictureList.kif 8923-8923 "http://upload.wikimedia.org/wikipedia/commons/1/17/ Grav.lens1.arp.750pix.jpg" is a URL depicting astronomical body
(externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ Ant_Nebula.jpg") pictureList.kif 8924-8924 "http://upload.wikimedia.org/wikipedia/commons/5/54/ Ant_Nebula.jpg" is a URL depicting astronomical body
(externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 6/ 66/ Uvsun_trace_big.jpg") pictureList.kif 8925-8925 "http://upload.wikimedia.org/wikipedia/commons/6/66/ Uvsun_trace_big.jpg" is a URL depicting astronomical body
(externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7a/ Galileo_moon_phases.jpg") pictureList.kif 8926-8926 "http://upload.wikimedia.org/wikipedia/commons/7/7a/ Galileo_moon_phases.jpg" is a URL depicting astronomical body
(subclass AstronomicalBody Object) Merge.kif 14016-14016 Astronomical body is a subclass of object

appearance as argument number 2
-------------------------


(subclass Meteoroid AstronomicalBody) Geography.kif 3282-3282 Meteoroid is a subclass of astronomical body
(subclass NaturalSatellite AstronomicalBody) Geography.kif 3233-3233 Natural satellite is a subclass of astronomical body
(subclass Satellite AstronomicalBody) Geography.kif 3212-3212 Satellite is a subclass of astronomical body
(subclass Star AstronomicalBody) Geography.kif 3196-3196 Star is a subclass of astronomical body
(termFormat ChineseLanguage AstronomicalBody "天文体") chinese_format.kif 947-947 "天文体" is the printable form of astronomical body in ChineseLanguage
(termFormat EnglishLanguage AstronomicalBody "astronomical body") english_format.kif 907-907 "astronomical body" is the printable form of astronomical body in english language
(termFormat JapaneseLanguage AstronomicalBody "天体") english_format.kif 908-908 "天体" is the printable form of astronomical body in japanese language

appearance as argument number 3
-------------------------


(domain orbits 2 AstronomicalBody) Geography.kif 3220-3220 The number 2 argument of orbits is an instance of astronomical body

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 3225-3230


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners