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 |
appearance as argument number 2 |
(subclass Meteorite Meteoroid) | Geography.kif 3425-3425 | |
(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 |