Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Curdling
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Curdling StateChange) | Food.kif 3209-3209 | Curdling is a subclass of state change |
| (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 3210-3213 | Curdling is a subclass of state change |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Curdling "curdling") | Food.kif 3214-3214 | |
| (subclass CurdlingMilk Curdling) | Food.kif 3243-3243 | Curdling milk is a subclass of curdling |
| antecedent |
|
|
| (=> (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 3216-3227 | If X is an instance of curdling, then there exists Y such that Y is a patient of X, Y is an instance of colloid holds during the beginning of the time of existence of X, and Y is not an instance of colloid holds during the end of the time of existence of X |
| (=> (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 3229-3241 | If X is an instance of curdling, Y is a patient of X, and Y is an instance of colloid, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of separating (3) Z is a subprocess of X (4) Y is a patient of Z (5) W is a result of Z (6) W is a piece of Y (7) W is an instance of substance |
|