Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FermentedMilkProduct
FermentedMilkProduct(fermented milk product)

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

antecedent
-------------------------


(=>
    (instance ?FM FermentedMilkProduct)
    (exists (?M ?F)
        (and
            (instance ?M Milk)
            (instance ?F Fermentation)
            (patient ?F ?M)
            (result ?F ?FM))))
Food.kif 3157-3164


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners