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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fermentation
Fermentation

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 956-959
(subclass Fermentation BiologicalProcess) Food.kif 955-955

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


(=>
    (and
        (instance ?F Fermentation)
        (patient ?F
            (JuiceOfFn ?X))
        (instance ?X WineGrape)
        (result ?F ?W))
    (instance ?W Wine))
Food.kif 1105-1112
(=>
    (instance ?F Fermentation)
    (exists (?C ?M)
        (and
            (instance ?C Carbohydrate)
            (instance ?M Microorganism)
            (instrument ?F ?M)
            (resource ?F ?C))))
Food.kif 960-967

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


(=>
    (instance ?V Vinegar)
    (exists (?F)
        (and
            (instance ?F Fermentation)
            (result ?F ?V))))
Food.kif 983-988


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