PreservingFood - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PreservingFood EnglishLanguage "PreservingFood is the class of Process where Food is prevented from ChemicalDecomposition. Some methods of preserving food are CuringFood, smoking and Freezing")	Food.kif 186-188
(relatedInternalConcept PreservingFood Freezing)	Food.kif 185-185	PreservingFood e' relacionado internamente por SUMO a Congelar
(subclass PreservingFood Keeping)	Food.kif 184-184	PreservingFood e' uma sub-classe de Manter

appearance as argument number 2

(subclass CuringFood PreservingFood)	Food.kif 78-78	CuringFood e' uma sub-classe de PreservingFood
(subclass Fermentation PreservingFood)	Food.kif 203-203	Fermentation e' uma sub-classe de PreservingFood
(termFormat EnglishLanguage PreservingFood "preserving food")	Food.kif 189-189

antecedent

(=>
    (and
        (instance ?P PreservingFood)
        (instance ?F Food)
        (patient ?P ?F))
    (hasPurpose ?P
        (not
            (exists (?D)
                (and
                    (instance ?D ChemicalDecomposition)
                    (patient ?D ?F))))))

Food.kif 191-201