Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CurdlingMilk(curdling milk) |  | curdle |
| appearance as argument number 1 |
|
|
| (subclass CurdlingMilk Curdling) | Food.kif 3243-3243 | Curdling milk is a subclass of curdling |
| (documentation CurdlingMilk EnglishLanguage "CurdlingMilk is the Process in which the pH of the milk decreases and becomes more acidic. Independently floating casein molecules attract one another, forming lumps that float in a translucent whey.[Wikipedia]") | Food.kif 3244-3246 | Curdling milk is a subclass of curdling |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CurdlingMilk "curdling milk") | Food.kif 3247-3247 |
| antecedent |
|
|
| (=> (instance ?C CurdlingMilk) (exists (?M) (and (instance ?M Milk) (patient ?C ?M)))) |
Food.kif 3249-3254 | If X is an instance of curdling milk, then there exists Y such that Y is an instance of milk and Y is a patient of X |
| (=> (and (instance ?C CurdlingMilk) (instance ?M Milk) (patient ?C ?M)) (exists (?PH ?D ?H ?L) (and (measure ?M (MeasureFn ?PH PHValue)) (instance ?D Decreasing) (subProcess ?D ?C) (patient ?D ?PH) (holdsDuring (BeginFn (WhenFn ?D)) (and (equal ?PH ?H) (approximateValue ?H 6.5))) (holdsDuring (EndFn (WhenFn ?D)) (and (equal ?PH ?L) (approximateValue ?L 4.5)))))) |
Food.kif 3256-3279 | If X is an instance of curdling milk, Y is an instance of milk, and Y is a patient of X, then there exist Z, W,, , V and U such that the measure of Y is Z PH value(s) and W is an instance of decreasing and W is a subprocess of X and Z is a patient of W and equal Z and V and the approximate value of V is 6.5 holds during the beginning of the time of existence of W and equal Z and U and the approximate value of U is 4.5 holds during the end of the time of existence of W |
| (=> (instance ?CM CurdlingMilk) (exists (?C ?W) (and (result ?CM ?C) (result ?CM ?W) (instance ?C Curd) (instance ?W Whey)))) |
Food.kif 3281-3288 | If X is an instance of curdling milk, then there exist Y, Z such that Y is a result of X, Z is a result of X, Y is an instance of curd, and Z is an instance of whey |
|