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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1162-1163
(domainSubclass ingredient 1 Substance) Merge.kif 1165-1165
(domainSubclass ingredient 2 Substance) Merge.kif 1166-1166
(instance ingredient BinaryPredicate) Merge.kif 1161-1161
(subrelation ingredient material) Merge.kif 1160-1160

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


(format ChineseLanguage ingredient "%1 是在 %2 的 ingredient ") domainEnglishFormat.kif 3699-3699
(format ChineseTraditionalLanguage ingredient "%1 是在 %2 的 ingredient ") domainEnglishFormat.kif 3698-3698
(format EnglishLanguage ingredient "%1 is an ingredient in %2") domainEnglishFormat.kif 3697-3697
(termFormat EnglishLanguage ingredient "ingredient") Merge.kif 1164-1164

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 1168-1176


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



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