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

appearance as argument number 2

(termFormat EnglishLanguage Dieting "dieting")

Mid-level-ontology.kif 32594-32594

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 32596-32617