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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Curdling

Sigma KEE - 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状态改变subclass

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


(subclass CurdlingMilk Curdling) Food.kif 3213-3213 CurdlingMilkCurdlingsubclass
(termFormat EnglishLanguage Curdling "curdling") Food.kif 3184-3184

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 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