Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  domesticPartner
|
|
|
| appearance as argument number 1 |
|
|
| (subclass FoamingMilk Cooking) | Food.kif 1152-1152 | Foaming milk is a subclass of cooking |
| (subclass FoamingMilk Heating) | Food.kif 1153-1153 | Foaming milk is a subclass of heating |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FoamingMilk "foaming milk") | Food.kif 1157-1157 |
| antecedent |
|
|
| (=> (instance ?FM FoamingMilk) (exists (?M ?MF) (and (instance ?M ProcessedMilk) (instance ?MF MilkFoam) (patient ?FM ?M) (result ?FM ?MF)))) |
Food.kif 1159-1166 | If X is an instance of foaming milk, then there exist Y, Z such that Y is an instance of processed milk, Z is an instance of milk foam, Y is a patient of X, and Z is a result of X |
| (=> (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 |
|