|
|
  Dieting
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Dieting EnglishLanguage "A state of reducing one's normal or desired intake of Food.") | Mid-level-ontology.kif 30037-30037 | |
| (instance Dieting RelationalAttribute) | Mid-level-ontology.kif 30036-30036 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Dieting "dieting") | Mid-level-ontology.kif 30038-30038 |
| antecedent |
|
|
| (=> (and (holdsDuring ?T1 (attribute ?H Dieting)) (holdsDuring ?T2 (not (attribute ?H Dieting))) (instance ?M1 Meal) (instance ?E1 Eating) (agent ?E1 ?H) (resource ?E1 ?M1) (during (WhenFn ?E1) ?T1) (measure ?M1 (MeasureFn ?C1 Calorie)) (instance ?M2 Meal) (instance ?E2 Eating) (agent ?E2 ?H) (resource ?E2 ?M2) (during (WhenFn ?E2) ?T2) (measure ?M2 (MeasureFn ?C2 Calorie))) (modalAttribute (greaterThan ?C2 ?C1) Likely)) |
Mid-level-ontology.kif 30040-30061 |
|
|
|