TeaBud - Sigma Knowledge base Browser

appearance as argument number 1

Tea bud is a subclass of tea plant aerial part

appearance as argument number 2

(termFormat EnglishLanguage TeaBud "tea bud")	domainEnglishFormat.kif 57154-57154
(termFormat ChineseTraditionalLanguage TeaBud "花茶")	domainEnglishFormat.kif 57155-57155
(termFormat ChineseLanguage TeaBud "花茶")	domainEnglishFormat.kif 57156-57156

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