Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PreservingFood

Sigma KEE - PreservingFood
PreservingFood

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 est reli� � l'int�rieur de SUMO � congeler
(subclass PreservingFood Keeping) Food.kif 184-184 PreservingFood est une sous-classe de garder

appearance as argument number 2
-------------------------


(subclass CuringFood PreservingFood) Food.kif 78-78 CuringFood est une sous-classe de PreservingFood
(subclass Fermentation PreservingFood) Food.kif 203-203 Fermentation est une sous-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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners