TreeView Knowledge Base Browser

appearance as argument number 1

Tea twig is a subclass of tea plant aerial part

appearance as argument number 2

(termFormat EnglishLanguage TeaTwig "tea twig")	domainEnglishFormat.kif 57164-57164
(termFormat ChineseTraditionalLanguage TeaTwig "茎茶")	domainEnglishFormat.kif 57165-57165
(termFormat ChineseLanguage TeaTwig "茎茶")	domainEnglishFormat.kif 57166-57166

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