TreeView Knowledge Base Browser

appearance as argument number 1

(subclass PreservingFood Keeping)	Food.kif 184-184	Preserving food is a subclass of keeping
(relatedInternalConcept PreservingFood Freezing)	Food.kif 185-185	Preserving food is internally related to freezing
(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	Preserving food is internally related to freezing

appearance as argument number 2

(subclass CuringFood PreservingFood)	Food.kif 78-78	Curing food is a subclass of preserving food
(termFormat EnglishLanguage PreservingFood "preserving food")	Food.kif 189-189	Curing food is a subclass of preserving food
(subclass Fermentation PreservingFood)	Food.kif 203-203	Fermentation is a subclass of preserving food

antecedent

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

If X is an instance of preserving food, Y is an instance of food, and Y is a patient of X, then X has the purpose there doesn't exist Z such that Z is an instance of chemical decomposition and Y is a patient of Z