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 28836-28836
(instance Dieting RelationalAttribute)	Mid-level-ontology.kif 28835-28835

appearance as argument number 2

(termFormat EnglishLanguage Dieting "dieting")

Mid-level-ontology.kif 28837-28837

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 28839-28860