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	HulledAttribute は PreparedFoodAttribute の instance では %n
(relatedInternalConcept HulledAttribute FermentedAttribute)	Food.kif 154-154	HulledAttribute は FermentedAttribute に internally 関連して %n
(relatedInternalConcept HulledAttribute RawAttribute)	Food.kif 155-155	HulledAttribute は RawAttribute に internally 関連して %n

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 2449-2461