CuringFood - Sigma Knowledge base Browser

appearance as argument number 1

(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
(subclass CuringFood Drying)	Food.kif 77-77
(subclass CuringFood PreservingFood)	Food.kif 78-78

appearance as argument number 2

(termFormat EnglishLanguage CuringFood "curing food")

Food.kif 82-82

antecedent

(=> (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
(=> (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

consequent

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

Food.kif 70-75