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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Meteoroid
Meteoroid(meteoroid)
meteor, 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 is a subclass of astronomical body

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


(subclass Meteorite Meteoroid) Geography.kif 3425-3425 Meteorite is a subclass of meteoroid
(termFormat ChineseLanguage Meteoroid "流星") domainEnglishFormat.kif 37371-37371 Meteorite is a subclass of meteoroid
(termFormat ChineseTraditionalLanguage Meteoroid "流星") domainEnglishFormat.kif 37370-37370 Meteorite is a subclass of meteoroid
(termFormat EnglishLanguage Meteoroid "meteoroid") domainEnglishFormat.kif 37369-37369 Meteorite is a subclass of meteoroid

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


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


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