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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Curdling
Curdling(curdling)

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


(documentation Curdling EnglishLanguage "Curdling in is the breaking of an Emulsion or Colloid into large parts of different composition through the physio-chemical processes of flocculation, creaming, and coalescence. Curdling occurs naturally but it can also be intentially. It is purposeful in the production of cheese curd and tofu; undesirable in the production of a sauce, cheese fondue or a custard.[Wikipedia]") Food.kif 3180-3183
(subclass Curdling StateChange) Food.kif 3179-3179 Curdling is a subclass of state change

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


(subclass CurdlingMilk Curdling) Food.kif 3213-3213 Curdling milk is a subclass of curdling
(termFormat EnglishLanguage Curdling "curdling") Food.kif 3184-3184 Curdling milk is a subclass of curdling

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


(=>
    (and
        (instance ?C Curdling)
        (patient ?C ?X)
        (instance ?X Colloid))
    (exists (?S ?A)
        (and
            (instance ?S Separating)
            (subProcess ?S ?C)
            (patient ?S ?X)
            (result ?S ?A)
            (piece ?A ?X)
            (instance ?A Substance))))
Food.kif 3199-3211
(=>
    (instance ?C Curdling)
    (exists (?X)
        (and
            (patient ?C ?X)
            (holdsDuring
                (BeginFn
                    (WhenFn ?C))
                (instance ?X Colloid))
            (holdsDuring
                (EndFn
                    (WhenFn ?C))
                (not
                    (instance ?X Colloid))))))
Food.kif 3186-3197


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