HulledAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(documentation HulledAttribute EnglishLanguage "HulledAttribute describes how Hulling is involved in preparing Food.")	Food.kif 156-157
(instance HulledAttribute PreparedFoodAttribute)	Food.kif 153-153	Hulled is an instance of prepared food attribute
(relatedInternalConcept HulledAttribute FermentedAttribute)	Food.kif 154-154	Hulled is internally related to fermented
(relatedInternalConcept HulledAttribute RawAttribute)	Food.kif 155-155	Hulled is internally related to raw food

appearance as argument number 2

(termFormat EnglishLanguage HulledAttribute "hulled")

Food.kif 158-158

antecedent

(=>
    (attribute ?F HulledAttribute)
    (exists (?X)
        (and
            (instance ?X Hulling)
            (result ?X ?F))))

Food.kif 160-165

consequent

(=>
    (instance ?X CocoaLiquor)
    (exists (?H ?B)
        (and
            (instance ?H Heating)
            (patient ?H ?B)
            (instance ?B CocoaBean)
            (attribute ?B DryRoastAttribute)
            (attribute ?B HulledAttribute)
            (attribute ?B FermentedAttribute)
            (result ?H ?X)
            (holdsDuring ?H
                (attribute ?X Liquid)))))

Food.kif 2456-2468