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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AstronomicalBody
AstronomicalBody(corps astronomique)
more pictures...

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


(disjoint AstronomicalBody GeographicArea) Merge.kif 14023-14023 Corps astronomique est disjoint de secteur g�ographique
(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 Corps astronomique est une sous-classe de objet

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


(subclass Meteoroid AstronomicalBody) Geography.kif 3436-3436 Meteoroid est une sous-classe de corps astronomique
(subclass NaturalSatellite AstronomicalBody) Geography.kif 3387-3387 NaturalSatellite est une sous-classe de corps astronomique
(subclass Satellite AstronomicalBody) Geography.kif 3366-3366 Satellite est une sous-classe de corps astronomique
(subclass Star AstronomicalBody) Geography.kif 3350-3350 Star est une sous-classe de corps astronomique
(termFormat ChineseLanguage AstronomicalBody "天文体") chinese_format.kif 947-947
(termFormat EnglishLanguage AstronomicalBody "astronomical body") english_format.kif 1101-1101
(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 157-157
(termFormat JapaneseLanguage AstronomicalBody "天体") japanese_format.kif 2308-2308
(termFormat PortugueseLanguage AstronomicalBody "Corpo Astronomico") portuguese_format.kif 575-575
(termFormat cz AstronomicalBody "astronomical body") terms-cz.txt 191-191
(termFormat ro AstronomicalBody "corp ceresc") relations-ro.kif 644-644
(termFormat tg AstronomicalBody "bagay ng makalangit") terms-tg.txt 158-158

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


(domain orbits 2 AstronomicalBody) Geography.kif 3374-3374 Le nombre 2 argument de orbits est une instance de corps astronomique

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


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 3.0 is open source software produced by Articulate Software and its partners