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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Meteoroid

Sigma KEE - Meteoroid
Meteoroid

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


(documentation Meteoroid EnglishLanguage "According to the International Astronomical Union, a Meteoroid is a solid object moving in interplanetary space, of a size considerably smaller than an asteroid and considerably larger than an atom.") Geography.kif 3439-3441
(externalImage Meteoroid "http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Meteor_burst.jpg") pictureList.kif 865-865
(subclass Meteoroid AstronomicalBody) Geography.kif 3436-3436 Meteoroid est une sous-classe de corps astronomique

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


(subclass Meteorite Meteoroid) Geography.kif 3425-3425 Meteorite est une sous-classe de Meteoroid
(termFormat ChineseLanguage Meteoroid "流星") domainEnglishFormat.kif 37337-37337
(termFormat ChineseTraditionalLanguage Meteoroid "流星") domainEnglishFormat.kif 37336-37336
(termFormat EnglishLanguage Meteoroid "meteoroid") domainEnglishFormat.kif 37335-37335

antecedent
-------------------------


(=>
    (instance ?M Meteoroid)
    (exists (?R)
        (and
            (instance ?R OuterSpaceRegion)
            (located ?M ?R))))
Geography.kif 3450-3455


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