TreeView Knowledge Base Browser

appearance as argument number 2

(format ChineseLanguage ingredientAmount "%1 的 %3 是 used 在 %2 ")	domainEnglishFormat.kif 3698-3698
(format ChineseTraditionalLanguage ingredientAmount "%1 的 %3 是 used 在 %2 ")	domainEnglishFormat.kif 3697-3697
(format EnglishLanguage ingredientAmount "%3 of %1 is used in %2")	domainEnglishFormat.kif 3696-3696
(termFormat EnglishLanguage ingredientAmount "amount of ingredient")	Food.kif 1655-1655

antecedent

(=>
    (ingredientAmount ?ING ?FOOD ?AMT)
    (exists (?PROC ?X ?Y)
        (and
            (instance ?X ?ING)
            (measure ?X ?AMT)
            (instance ?Y ?FOOD)
            (instance ?PROC Process)
            (patient ?PROC ?X)
            (result ?PROC ?Y))))

Food.kif 1660-1669

ingredientAmount 自己接続オブジェクト, 自己接続オブジェクト and 物理量
工程物理 and エンティティー物理は自己接続オブジェクトの instance では %n 物理の measure は物理量では %n エンティティーは自己接続オブジェクトの instance では %n 工程は工程の instance では %n 物理は工程の patient では %n エンティティーは工程の result では %n

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: