CuringFood |
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 | CuringFood ist eine teilkategorie von Drying |
(subclass CuringFood PreservingFood) | Food.kif 78-78 | CuringFood ist eine teilkategorie von PreservingFood |
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 |
|