FermentedMilkProduct - Sigma Knowledge base Browser

appearance as argument number 1

(subclass FermentedMilkProduct DairyArtifact)	Food.kif 3180-3180	Fermented milk product is a subclass of dairy product
(subclass FermentedMilkProduct FermentedFood)	Food.kif 3181-3181	Fermented milk product is a subclass of fermented food
(subclass FermentedMilkProduct Emulsion)	Food.kif 3182-3182	Fermented milk product is a subclass of emulsion
(documentation FermentedMilkProduct EnglishLanguage "A FermentedMilkProduct is the result of Fermentation of Milk.")	Food.kif 3183-3184	Fermented milk product is a subclass of emulsion

appearance as argument number 2

(termFormat EnglishLanguage FermentedMilkProduct "fermented milk product")	Food.kif 3185-3185
(subclass Buttermilk FermentedMilkProduct)	Food.kif 3196-3196	Buttermilk is a subclass of fermented milk product
(subclass Yogurt FermentedMilkProduct)	Food.kif 3202-3202	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))))

If X is an instance of fermented milk product, then there exist Y, Z such that Y is an instance of milk, Z is an instance of fermentation, Y is a patient of Z, and X is a result of Z