FermentedMilkProduct - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FermentedMilkProduct EnglishLanguage "A FermentedMilkProduct is the result of Fermentation of Milk.")	Food.kif 3153-3154
(subclass FermentedMilkProduct DairyArtifact)	Food.kif 3150-3150	Fermented milk product is a subclass of dairy product
(subclass FermentedMilkProduct Emulsion)	Food.kif 3152-3152	Fermented milk product is a subclass of emulsion
(subclass FermentedMilkProduct FermentedFood)	Food.kif 3151-3151	Fermented milk product is a subclass of fermented food

appearance as argument number 2

(subclass Buttermilk FermentedMilkProduct)	Food.kif 3166-3166	Buttermilk is a subclass of fermented milk product
(subclass Yogurt FermentedMilkProduct)	Food.kif 3172-3172	Yogurt is a subclass of fermented milk product
(termFormat EnglishLanguage FermentedMilkProduct "fermented milk product")	Food.kif 3155-3155	Yogurt is a subclass of fermented milk product

antecedent

(=>
    (instance ?FM FermentedMilkProduct)
    (exists (?M ?F)
        (and
            (instance ?M Milk)
            (instance ?F Fermentation)
            (patient ?F ?M)
            (result ?F ?FM))))

Food.kif 3157-3164