(=>
(instance ?CM CoffeeMaking)
(exists (?R ?LM ?CG ?W ?F ?C)
(and
(subProcess ?R ?CM)
(instance ?R Removing)
(origin ?R ?LM)
(instance ?LM LiquidMixture)
(part ?W ?LM)
(instance ?W DrinkingWater)
(part ?CG ?LM)
(instance ?CG CoffeeGrind)
(instrument ?R ?F)
(instance ?F Filter)
(result ?R ?C)
(instance ?C Coffee)))) |
Food.kif 686-701 |
- Wenn Process ist ein fall von CoffeeMaking %n{nicht},
- dann es gibt ** Process, Object,, , ** Object,, , ** Object,, , ** Object, and und Entity um ** ** Process ist ein subProzess von ** Process und ** ** Process ist ein fall von Removing %n{nicht} und ** ** Process beginnet an ** Object %n{nicht} und ** Object ist ein fall von LiquidMixture %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** ** Object ist ein fall von DrinkingWater %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** ** Object ist ein fall von CoffeeGrind %n{nicht} und ** ** Object ist ein instrument fuer ** ** Process %n{nicht} und ** ** Object ist ein fall von Filter %n{nicht} und ** Entity ist ein resultat von ** ** Process %n{nicht} und ** Entity ist ein fall von Coffee %n{nicht}
|
(=>
(instance ?EM EspressoMaking)
(holdsDuring ?EM
(exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)
(and
(instance ?H Heating)
(patient ?H ?W)
(measure ?W
(MeasureFn ?V Liter))
(approximateValue ?V 0.03)
(holdsDuring
(EndFn
(WhenFn ?H))
(and
(measure ?W
(MeasureFn ?T CelsiusDegree))
(approximateValue ?T 90)))
(instance ?LM LiquidMotion)
(patient ?LM ?W)
(holdsDuring ?LM
(and
(measure ?W
(MeasureFn ?P
(KiloFn Pascal)))
(approximateValue ?P 900)))
(destination ?LM ?COLL)
(instance ?COLL Collection)
(measure ?COLL
(MeasureFn ?K Gram))
(approximateValue ?K 7.5)
(member ?COLL ?CG)
(instance ?CG CoffeeGrind)
(attribute ?CG FineGrind)
(located ?COLL ?F)
(instance ?F Filter)
(instance ?R Removing)
(instrument ?R ?F)
(patient ?R ?COLL)
(temporallyBetween
(EndFn
(WhenFn ?H))
(EndFn
(WhenFn ?LM))
(EndFn
(WhenFn ?R))))))) |
Food.kif 799-834 |
- Wenn TimePosition ist ein fall von EspressoMaking %n{nicht},
- dann es gibt entity, ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity, and und ** entity um ** entity ist ein fall von Heating %n{nicht} und ** ** entity ist ein patient von ** entity %n{nicht} und das mass von ** ** entity ist ** ** entity Liter(s) %n{nicht} und approximateValue ** ** entity and 0.03 und das mass von ** ** entity ist ** ** entity CelsiusDegree(s) %n{nicht} und approximateValue ** ** entity and 90 haelt waehrend das ende von die zeit des Bestehens von ** entity %n{nicht} und ** ** entity ist ein fall von LiquidMotion %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und das mass von ** ** entity ist ** ** entity 1 tausend Pascal(s) %n{nicht} und approximateValue ** ** entity and 900 haelt waehrend ** ** entity %n{nicht} und ** ** entity endet an ** ** entity %n{nicht} und ** ** entity ist ein fall von Collection %n{nicht} und das mass von ** ** entity ist ** ** entity Gram(s) %n{nicht} und approximateValue ** ** entity and 7.5 und ** ** entity ist ein Mitglied von ** ** entity %n{nicht} und ** ** entity ist ein fall von CoffeeGrind %n{nicht} und FineGrind ist ein attribut von ** ** entity %n{nicht} und ** ** entity befindet sich an %n{nicht} und ** ** entity ist ein fall von Filter %n{nicht} und ** ** entity ist ein fall von Removing %n{nicht} und ** ** entity ist ein instrument fuer ** ** entity %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und das ende von die zeit des Bestehens von ** ** entity ist zwischen das ende von die zeit des Bestehens von ** entity und das ende von die zeit des Bestehens von ** ** entity haelt waehrend ** TimePosition %n{nicht}
|