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 30647-30647 | |
(instance Dieting RelationalAttribute) | Mid-level-ontology.kif 30646-30646 |
appearance as argument number 2 |
(termFormat EnglishLanguage Dieting "dieting") | Mid-level-ontology.kif 30648-30648 |
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 30650-30671 |