Dieting - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Dieting EnglishLanguage "A state of reducing one's normal or desired intake of Food.")	Mid-level-ontology.kif 28856-28856
(instance Dieting RelationalAttribute)	Mid-level-ontology.kif 28855-28855

appearance as argument number 2

(termFormat EnglishLanguage Dieting "dieting")

Mid-level-ontology.kif 28857-28857

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 28859-28880