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 30647-30647
(instance Dieting RelationalAttribute)	Mid-level-ontology.kif 30646-30646	Dieting 是关联属性的 instance

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