TreeView Knowledge Base Browser

appearance as argument number 1

Economy.kif 4713-4713

appearance as argument number 2

(termFormat ChineseLanguage TeaTwig "茎茶")	domainEnglishFormat.kif 57169-57169
(termFormat ChineseTraditionalLanguage TeaTwig "茎茶")	domainEnglishFormat.kif 57168-57168
(termFormat EnglishLanguage TeaTwig "tea twig")	domainEnglishFormat.kif 57167-57167

consequent

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

Food.kif 1809-1814

Wenn initialPart Tea and ** Object,
dann ** Object ist gleich TeaBud %n{nicht} oder ** ** Object ist gleich TeaLeaf %n{nicht} oder ** ** Object ist gleich TeaTwig %n{nicht}