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

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

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