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 30659-30659 | |
(instance Dieting RelationalAttribute) | Mid-level-ontology.kif 30658-30658 |
appearance as argument number 2 |
(termFormat EnglishLanguage Dieting "dieting") | Mid-level-ontology.kif 30660-30660 |
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 30662-30683 |