TreeView Knowledge Base Browser

appearance as argument number 1

(subclass WritingDevice Device)	Mid-level-ontology.kif 2596-2596	Writing device is a subclass of device
(documentation WritingDevice EnglishLanguage "A Device whose purpose is to be an instrument of Writing, e.g. pens, pencils, crayons, etc.")	Mid-level-ontology.kif 2597-2598	Writing device is a subclass of device
(externalImage WritingDevice "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Three_pens_six_nibs.jpg")	pictureList.kif 145-145	Writing device is a subclass of device

appearance as argument number 2

(subclass Pencil WritingDevice)	Mid-level-ontology.kif 2398-2398	Pencil is a subclass of writing device
(termFormat EnglishLanguage WritingDevice "writing device")	domainEnglishFormat.kif 63568-63568	Pencil is a subclass of writing device
(termFormat ChineseTraditionalLanguage WritingDevice "寫作設備")	domainEnglishFormat.kif 63569-63569	Pencil is a subclass of writing device
(termFormat ChineseLanguage WritingDevice "写作设备")	domainEnglishFormat.kif 63570-63570	Pencil is a subclass of writing device

antecedent

(=>
    (instance ?D WritingDevice)
    (hasPurpose ?D
        (exists (?W)
            (and
                (instance ?W Writing)
                (instrument ?W ?D)))))

If X is an instance of writing device, then X has the purpose there exists Y such that Y is an instance of writing and X is an instrument for Y