TreeView 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 30683-30683
(instance Dieting RelationalAttribute)	Mid-level-ontology.kif 30682-30682	Dieting ist ein fall von RelationalAttribute %n{nicht}

appearance as argument number 2

(termFormat EnglishLanguage Dieting "dieting")

Mid-level-ontology.kif 30684-30684

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 30686-30707

Wenn Dieting ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} und Dieting ist ein attribut von ** AutonomousAgent nicht haelt waehrend ** TimeInterval %n{nicht} und Object ist ein fall von Meal %n{nicht} und Process ist ein fall von Eating %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Object ist ein hilfmittel fuer ** Process %n{nicht} und die zeit des Bestehens von ** Process geschieht waehrend ** TimeInterval %n{nicht} und das mass von ** Object ist RealNumber Calorie(s) %n{nicht} und ** Object ist ein fall von Meal %n{nicht} und ** Process ist ein fall von Eating %n{nicht} und ** ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** ** Object ist ein hilfmittel fuer ** ** Process %n{nicht} und die zeit des Bestehens von ** ** Process geschieht waehrend ** ** TimeInterval %n{nicht} und das mass von ** ** Object ist ** RealNumber Calorie(s) %n{nicht},
dann die Aussage ** ** RealNumber ist groesserAls ** RealNumber %n{nicht} hat die modale Kraft von Likely