CuringFood - Sigma Knowledge base Browser

appearance as argument number 1

(subclass CuringFood Drying)	Food.kif 77-77	Curing food is a subclass of drying
(subclass CuringFood PreservingFood)	Food.kif 78-78	Curing food is a subclass of preserving food
(documentation CuringFood EnglishLanguage "CuringFood is the class of Process where Food is preserved drawing out its water content by adding salt. Many curing processes invlove smoking, Spicing and cooking, or adding a combination of Sugar, Nitrites and Nitrates.[Wikipedia]")	Food.kif 79-81	Curing food is a subclass of preserving food

appearance as argument number 2

(termFormat EnglishLanguage CuringFood "curing food")

antecedent

(=> (instance ?C CuringFood) (exists (?F ?P ?S) (and (instance ?F Food) (patient ?C ?F) (instance ?P Putting) (subProcess ?P ?C) (instance ?S SodiumChloride) (patient ?P ?S) (destination ?P ?F))))	Food.kif 84-94	If X is an instance of curing food, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of food (3) Y is a patient of X (4) Z is an instance of putting (5) Z is a subprocess of X (6) W is an instance of salt (7) W is a patient of Z (8) Z ends up at Y
(=> (and (instance ?C CuringFood) (instance ?F Food) (patient ?C ?F)) (exists (?D) (and (instance ?D Drying) (subProcess ?D ?C) (patient ?D ?F))))	Food.kif 96-105	If X is an instance of curing food, Y is an instance of food, and Y is a patient of X, then there exists Z such that Z is an instance of drying, Z is a subprocess of X, and Y is a patient of Z

consequent

(=>
    (attribute ?F CuredAttribute)
    (exists (?C)
        (and
            (instance ?C CuringFood)
            (result ?C ?F))))

If cured is an attribute of X, then there exists Y such that Y is an instance of curing food and X is a result of Y