|
|
  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 30683-30683 | |
| (instance Dieting RelationalAttribute) | Mid-level-ontology.kif 30682-30682 | 例 Dieting and RelationalAttribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Dieting "dieting") | Mid-level-ontology.kif 30684-30684 |
| 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 30686-30707 |
|
|
|
|