TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Portrait PaintedPicture)	Mid-level-ontology.kif 3754-3754	Portrait is a subclass of painted picture
(documentation Portrait EnglishLanguage "A PaintedPicture that represents someone's Face.")	Mid-level-ontology.kif 3755-3755	Portrait is a subclass of painted picture
(externalImage Portrait "http://upload.wikimedia.org/wikipedia/commons/b/ b1/ Franz_von_Lenbach_M%C3%A4dchenportr%C3%A4t.jpg")	pictureList.kif 4798-4798	Portrait is a subclass of painted picture

appearance as argument number 2

(termFormat EnglishLanguage Portrait "portrait")	domainEnglishFormat.kif 46747-46747
(termFormat ChineseTraditionalLanguage Portrait "肖像")	domainEnglishFormat.kif 46748-46748
(termFormat ChineseLanguage Portrait "肖像")	domainEnglishFormat.kif 46749-46749

antecedent

(=>
    (instance ?P Portrait)
    (exists (?F)
        (and
            (instance ?F Face)
            (represents ?P ?F))))

If X is an instance of portrait, then there exists Y such that Y is an instance of face and X expresses Y