TreeView Knowledge Base Browser

appearance as argument number 1

(subclass TeaLeaf TeaPlantAerialPart)	Economy.kif 5044-5044	Tea leaf is a subclass of tea plant aerial part
(externalImage TeaLeaf "http://upload.wikimedia.org/wikipedia/commons/9/ 95/ HCAM13.jpg")	pictureList.kif 2997-2997	Tea leaf is a subclass of tea plant aerial part
(externalImage TeaLeaf "http://upload.wikimedia.org/wikipedia/commons/2/ 24/ Tea_plantation_picking.JPG")	pictureList.kif 3216-3216	Tea leaf is a subclass of tea plant aerial part

appearance as argument number 2

(termFormat EnglishLanguage TeaLeaf "tea leaf")	domainEnglishFormat.kif 57158-57158
(termFormat ChineseTraditionalLanguage TeaLeaf "茶葉")	domainEnglishFormat.kif 57159-57159
(termFormat ChineseLanguage TeaLeaf "茶叶")	domainEnglishFormat.kif 57160-57160

consequent

(=>
    (initialPart Tea ?TEA)
    (or
        (equal ?TEA TeaBud)
        (equal ?TEA TeaLeaf)
        (equal ?TEA TeaTwig)))

If every tea is initially part of a X, then At least one of the following holds: (1) equal X and tea bud (2) equal X and tea leaf (3) equal X and tea twig