Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ingredient

 Sigma KEE - ingredient
ingredient

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


(subrelation ingredient material) Merge.kif 1281-1281 ingredient is a subrelation of material
(instance ingredient BinaryPredicate) Merge.kif 1282-1282 ingredient is an instance of binary predicate
(documentation ingredient EnglishLanguage "(ingredient ?ING ?S) means that ?ING is a material that makes up ?S") Merge.kif 1283-1284 ingredient is an instance of binary predicate
(domainSubclass ingredient 1 Substance) Merge.kif 1286-1286 The number 1 argument of ingredient is a subclass of substance
(domainSubclass ingredient 2 Substance) Merge.kif 1287-1287 The number 2 argument of ingredient is a subclass of substance

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


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

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 1289-1297 If X is an ingredient in Y, then there exist Z, W, V such that Z is an instance of process, W is an instance of X, W is a patient of Z, V is an instance of Y, and V is a result of Z

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners