TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Shelf Artifact)	Mid-level-ontology.kif 1841-1841	Shelf is a subclass of artifact
(documentation Shelf EnglishLanguage "An piece of Furniture or part of a piece of Furniture that is used for keeping or displaying things.")	Mid-level-ontology.kif 1842-1843	Shelf is a subclass of artifact
(externalImage Shelf "http://upload.wikimedia.org/wikipedia/commons/6/60/ Shelf.agr.jpg")	pictureList.kif 166-166	Shelf is a subclass of artifact

appearance as argument number 2

(termFormat EnglishLanguage Shelf "shelf")	domainEnglishFormat.kif 52498-52498
(termFormat ChineseTraditionalLanguage Shelf "架")	domainEnglishFormat.kif 52499-52499
(termFormat ChineseLanguage Shelf "架")	domainEnglishFormat.kif 52500-52500

antecedent

(=>
    (instance ?S Shelf)
    (exists (?F)
        (and
            (instance ?F Furniture)
            (part ?S ?F))))

If X is an instance of shelf, then there exists Y such that Y is an instance of furniture and X is a part of Y