TreeView Knowledge Base Browser

appearance as argument number 1

(documentation CuringFood EnglishLanguage "CuringFood is the class of Process where Food is preserved drawing out its water content by adding salt. Many curing processes invlove smoking, Spicing and cooking, or adding a combination of Sugar, Nitrites and Nitrates.[Wikipedia]")	Food.kif 79-81
(subclass CuringFood Drying)	Food.kif 77-77	Curing food is a subclass of drying
(subclass CuringFood PreservingFood)	Food.kif 78-78	Curing food is a subclass of preserving food

appearance as argument number 2

(termFormat EnglishLanguage CuringFood "curing food")

Food.kif 82-82

antecedent

(=> (and (instance ?C CuringFood) (instance ?F Food) (patient ?C ?F)) (exists (?D) (and (instance ?D Drying) (subProcess ?D ?C) (patient ?D ?F))))	Food.kif 96-105	If a process is an instance of curing food and an entity is an instance of food and the entity is a patient of the process, then there exists another process such that the other process is an instance of drying and the other process is a subprocess of the process and the entity is a patient of the other process
(=> (instance ?C CuringFood) (exists (?F ?P ?S) (and (instance ?F Food) (patient ?C ?F) (instance ?P Putting) (subProcess ?P ?C) (instance ?S SodiumChloride) (patient ?P ?S) (destination ?P ?F))))	Food.kif 84-94	If a process is an instance of curing food, then there exist an entity, another process and another entity such that the entity is an instance of food and the entity is a patient of the process and the other process is an instance of putting and the other process is a subprocess of the process and the other entity is an instance of salt and the other entity is a patient of the other process and the other process ends up at the entity

consequent

(=>
    (attribute ?F CuredAttribute)
    (exists (?C)
        (and
            (instance ?C CuringFood)
            (result ?C ?F))))

Food.kif 70-75