Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ingredient

Sigma KEE - ingredient
ingredient

appearance as argument number 1
-------------------------


(documentation ingredient EnglishLanguage "(ingredient ?ING ?S) means that ?ING is a material that makes up ?S") Merge.kif 1210-1211
(domainSubclass ingredient 1 Substance) Merge.kif 1213-1213 ingredient の数値 1 引数は 物質subclass では %n
(domainSubclass ingredient 2 Substance) Merge.kif 1214-1214 ingredient の数値 2 引数は 物質subclass では %n
(instance ingredient BinaryPredicate) Merge.kif 1209-1209 ingredient2進述語instance では %n
(subrelation ingredient material) Merge.kif 1208-1208 ingredientmaterialsubrelation では %n

appearance as argument number 2
-------------------------


(format ChineseLanguage ingredient "%1 是在 %2 的 ingredient ") domainEnglishFormat.kif 3694-3694
(format ChineseTraditionalLanguage ingredient "%1 是在 %2 的 ingredient ") domainEnglishFormat.kif 3693-3693
(format EnglishLanguage ingredient "%1 is an ingredient in %2") domainEnglishFormat.kif 3692-3692
(termFormat EnglishLanguage ingredient "ingredient") Merge.kif 1212-1212

antecedent
-------------------------


(=>
    (ingredient ?ING ?S)
    (exists (?PROC ?X ?Y)
        (and
            (instance ?PROC Process)
            (instance ?X ?ING)
            (patient ?PROC ?X)
            (instance ?Y ?S)
            (result ?PROC ?Y))))
Merge.kif 1216-1224

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners