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 3427-3429
(externalImage Meteoroid "http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Meteor_burst.jpg") pictureList.kif 865-865
(subclass Meteoroid AstronomicalBody) Geography.kif 3424-3424 Meteoroid is a subclass of astronomical body

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


(subclass Meteorite Meteoroid) Geography.kif 3413-3413 Meteorite is a subclass of meteoroid
(termFormat ChineseLanguage Meteoroid "流星") domainEnglishFormat.kif 37363-37363 Meteorite is a subclass of meteoroid
(termFormat ChineseTraditionalLanguage Meteoroid "流星") domainEnglishFormat.kif 37362-37362 Meteorite is a subclass of meteoroid
(termFormat EnglishLanguage Meteoroid "meteoroid") domainEnglishFormat.kif 37361-37361 Meteorite is a subclass of meteoroid

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


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


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