(=>
(and
(instance ?FM FoamingMilk)
(instance ?M ProcessedMilk)
(patient ?FM ?M))
(exists (?H ?A ?B)
(and
(instance ?H Heating)
(patient ?H ?M)
(instance ?A Aerating)
(patient ?A ?M)
(result ?A ?B)
(instance ?B Bubble)
(during
(WhenFn ?A)
(WhenFn ?H))))) |
Food.kif 1168-1183 |
If X is an instance of foaming milk, Y is an instance of processed milk, and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of heating (3) Y is a patient of Z (4) W is an instance of aerating (5) Y is a patient of W (6) V is a result of W (7) V is an instance of bubble (8) the time of existence of W takes place during the time of existence of Z |
(=>
(and
(instance ?FM FoamingMilk)
(patient ?FM ?M)
(instance ?M ProcessedMilk)
(instance ?H Heating)
(subProcess ?H ?FM)
(measure ?M
(MeasureFn ?T CelsiusDegree)))
(approximateValue ?T 70.0)) |
Food.kif 1185-1194 |
If All of the following hold: (1) X is an instance of foaming milk (2) Y is a patient of X (3) Y is an instance of processed milk (4) Z is an instance of heating (5) Z is a subprocess of X (6) the measure of Y is W celsius degree(s), then the approximate value of W is 70.0 |
(=>
(and
(instance ?FM FoamingMilk)
(patient ?FM ?M)
(instance ?M ProcessedMilk)
(instance ?A Aerating)
(patient ?A ?M))
(subProcess ?A ?FM)) |
Food.kif 1196-1203 |
If X is an instance of foaming milk, Y is a patient of X, Y is an instance of processed milk, Z is an instance of aerating, and Y is a patient of Z, then Z is a subprocess of X |
(=>
(instance ?PM ProcessedMilk)
(exists (?P ?M)
(and
(instance ?P IntentionalProcess)
(instance ?M CowMilk)
(patient ?P ?M)
(result ?P ?PM)))) |
Food.kif 2861-2868 |
If X is an instance of processed milk, then there exist Y, Z such that Y is an instance of intentional process, Z is an instance of cow milk, Z is a patient of Y, and X is a result of Y |
ProcessedMilk