CuredAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CuredAttribute EnglishLanguage "CuredAttribute describes how curing is involved in preserving Food.")	Food.kif 66-67
(instance CuredAttribute PreparedFoodAttribute)	Food.kif 63-63	Cured is an instance of prepared food attribute
(relatedInternalConcept CuredAttribute FermentedAttribute)	Food.kif 64-64	Cured is internally related to fermented
(relatedInternalConcept CuredAttribute RawAttribute)	Food.kif 65-65	Cured is internally related to raw food

appearance as argument number 2

(termFormat EnglishLanguage CuredAttribute "cured")

Food.kif 68-68

antecedent

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

Food.kif 70-75

consequent

(=>
(instance ?MEAT CuredMeat)
(attribute ?MEAT CuredAttribute))

Food.kif 2131-2133