|
|
   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 和 结冰 是 内部相关 |
| (subclass PreservingFood Keeping) | Food.kif 184-184 | PreservingFood 是 保存 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass CuringFood PreservingFood) | Food.kif 78-78 | CuringFood 是 PreservingFood 的 subclass |
| (subclass Fermentation PreservingFood) | Food.kif 203-203 | Fermentation 是 PreservingFood 的 subclass |
| (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 |
|
|
|