TreeView 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 ist innerlich verwandt mit Freezing %n{nicht}
(subclass PreservingFood Keeping)	Food.kif 184-184	PreservingFood ist eine teilkategorie von Keeping

appearance as argument number 2

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

Wenn Process ist ein fall von PreservingFood %n{nicht} und Entity ist ein fall von Food %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht},
dann ** Process hat Zweck von es gibt nicht ** entity um ** ** entity ist ein fall von ChemicalDecomposition %n{nicht} und ** Entity ist ein patient von ** ** entity %n{nicht} %n{nicht}