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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fermentation

Sigma KEE - Fermentation
Fermentation(fermentation)bottom_fermentation, brew, brewing, ferment, fermentation, fermenting, top_fermentation, vinification, vinify, work, zymolysis, zymosis

appearance as argument number 1
-------------------------


(documentation Fermentation EnglishLanguage "Fermentation in food processing typically is the conversion of carbohydrates to alcohols and carbon dioxide or organic acids using yeasts, bacteria, or a combination thereof, under anaerobic conditions. [Wikipedia]") Food.kif 3543-3546
(subclass Fermentation BiologicalProcess) Food.kif 3542-3542 Fermentation is a subclass of biological process
(subclass Fermentation PreservingFood) Food.kif 203-203 Fermentation is a subclass of preserving food

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Fermentation "fermentation") domainEnglishFormat.kif 64855-64855

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


(=>
    (and
        (instance ?F Fermentation)
        (patient ?F ?X)
        (instance ?X
            (JuiceOfFn WineGrape))
        (result ?F ?W))
    (instance ?W Wine))
Food.kif 3692-3699
(=>
    (instance ?F Fermentation)
    (exists (?C ?M)
        (and
            (instance ?C Carbohydrate)
            (instance ?M Microorganism)
            (instrument ?F ?M)
            (resource ?F ?C))))
Food.kif 3547-3554

consequent
-------------------------


(=>
    (attribute ?FOOD FermentedAttribute)
    (exists (?F)
        (and
            (instance ?F Fermentation)
            (result ?F ?FOOD))))
Food.kif 211-216
(=>
    (instance ?FM FermentedMilkProduct)
    (exists (?M ?F)
        (and
            (instance ?M Milk)
            (instance ?F Fermentation)
            (patient ?F ?M)
            (result ?F ?FM))))
Food.kif 3157-3164
(=>
    (instance ?S Sake)
    (exists (?R ?F)
        (and
            (instance ?F Fermentation)
            (resource ?F ?R)
            (instance ?R Rice)
            (result ?F ?S))))
Medicine.kif 3479-3486
(=>
    (instance ?V Vinegar)
    (exists (?F)
        (and
            (instance ?F Fermentation)
            (result ?F ?V))))
Food.kif 3570-3575


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

Show without tree


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