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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AstronomicalBody

Sigma KEE - AstronomicalBody
AstronomicalBody
more pictures...
กลุ่มดาวแอนโดรเมดา, กลุ่มดาวเครื่องสูบลม, กลุ่มดาวนกการเวก, กลุ่มดาวคนแบกหม้อน้ำ, กลุ่มดาวกุมภ์, กลุ่มดาวนกอินทรี, กลุ่มดาวแท่นบูชา, กลุ่มดาวแกะ, กลุ่มดาวเมษ, ดาวเคราะห์น้อย, กลุ่มดาวสารถี, กลุ่มดาวไถ, กลุ่มดาวไถใหญ่, ดาวคู่, ดาวแฝด, หลุมดำ, กลุ่มดาวคนเลี้ยงสัตว์, กลุ่มดาวแซลัม, กลุ่มดาวปู, กลุ่มดาวกรกฎ, กลุ่มดาวสุนัขใหญ่, กลุ่มดาวสุนัขเล็ก, กลุ่มดาวมกร, กลุ่มดาวแพะทะเล, กลุ่มดาวกระดูกงูเรือ, กลุ่มดาวค้างคาว, ดาวแคสเตอร์, วัตถุท้องฟ้า, เทห์ฟ้า, เทห์วัตถุ, กลุ่มดาวม้าครึ่งคน, กลุ่มดาวซีฟีอุส, ดาวซิรีส, กลุ่มดาววาฬ, กลุ่มดาวกิ้งก่าคะมีเลียน, ดาวไครอน, กลุ่มดาววงเวียน, กลุ่มดาวนกเขา, กลุ่มดาวผมเบเรนิซ, ดาวหาง, กลุ่มดาว, กลุ่มดาวมงกุฎเหนือ, กลุ่มดาวอีกา, เนบิวลาปู, กลุ่มดาวเครเตอร์, กลุ่มดาวหงส์, กลุ่มดาวโลมา, เนบิวลาสว่าง, เนบิวลาแบบแพร่กระจาย, กลุ่มดาวปลากระโทงเทง, กลุ่มดาวมังกร, กลุ่มดาวแม่น้ำ, วัตถุจากนอกโลก, กลุ่มดาวเตาหลอม, กลุ่มดาวเมถุน, กลุ่มดาวคนคู่...

appearance as argument number 1
-------------------------


(disjoint AstronomicalBody GeographicArea) Merge.kif 13959-13959
(documentation AstronomicalBody ChineseLanguage "这是所有有显著大小天文物体的 Class。它包括 SelfConnectedObject 如:星球、星斗和小行星,与 Collection 如:星云、星系和星座。注:地球是一个 AstronomicalBody,但是地球的每一个 Region 都是一处 GeographicArea。") Merge.kif 13966-13968
(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 13960-13965
(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 13958-13958

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


(subclass Meteoroid AstronomicalBody) Geography.kif 3282-3282
(subclass NaturalSatellite AstronomicalBody) Geography.kif 3233-3233
(subclass Satellite AstronomicalBody) Geography.kif 3212-3212
(subclass Star AstronomicalBody) Geography.kif 3196-3196
(termFormat ChineseLanguage AstronomicalBody "天文体") chinese_format.kif 947-947
(termFormat EnglishLanguage AstronomicalBody "astronomical body") english_format.kif 634-634
(termFormat FrenchLanguage AstronomicalBody "corps astronomique") french_format.kif 623-623
(termFormat Hindi AstronomicalBody "khagoliya kshetra") terms-hindi.txt 154-154
(termFormat ItalianLanguage AstronomicalBody "CorpoCeleste") terms-it.txt 155-155
(termFormat PortugueseLanguage AstronomicalBody "Corpo Astronomico") portuguese_format.kif 575-575
(termFormat ar AstronomicalBody "جِسْم فَلَكِي") arabic_format.kif 359-359
(termFormat cz AstronomicalBody "astronomical body") terms-cz.txt 191-191
(termFormat tg AstronomicalBody "bagay ng makalangit") terms-tg.txt 158-158

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


(domain orbits 2 AstronomicalBody) Geography.kif 3220-3220

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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