TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass Meteorite Meteoroid)	Merge.kif 1021-1021	Meteorite is a subclass of meteoroid
(termFormat EnglishLanguage Meteoroid "meteoroid")	domainEnglishFormat.kif 37337-37337	Meteorite is a subclass of meteoroid
(termFormat ChineseTraditionalLanguage Meteoroid "流星")	domainEnglishFormat.kif 37338-37338	Meteorite is a subclass of meteoroid
(termFormat ChineseLanguage Meteoroid "流星")	domainEnglishFormat.kif 37339-37339	Meteorite is a subclass of meteoroid

antecedent

(=>
    (instance ?M Meteoroid)
    (exists (?R)
        (and
            (instance ?R OuterSpaceRegion)
            (located ?M ?R))))

If X is an instance of meteoroid, then there exists Y such that Y is an instance of outer space region and X is located at Y