(=>
(and
(instance ?IC IgnitionCoil)
(instance ?P ElectricTransmission)
(resource ?P ?E1)
(instance ?E1 Electricity)
(instance ?E2 Electricity)
(result ?P ?E2)
(instrument ?P ?IC)
(measure ?E1
(MeasureFn ?N1 Volt)))
(approximateValue ?N1 12)) |
Cars.kif 3140-3150 |
|
(=>
(and
(instance ?L CocoaLiquor)
(weight ?L
(MeasureFn 100.0 Gram))
(instance ?S CocoaSolid)
(part ?S ?L)
(weight ?S
(MeasureFn ?X Gram))
(instance ?B CocoaButter)
(part ?B ?L)
(weight ?B
(MeasureFn ?Y Gram)))
(and
(approximateValue ?X 50.0)
(approximateValue ?Y 50.0))) |
Food.kif 2463-2478 |
|
(=>
(and
(instance ?L LongBlack)
(part ?E ?L)
(part ?W ?L)
(instance ?E Espresso)
(instance ?W DrinkingWater)
(mixtureRatio ?E ?W ?V1 ?V2 Liter))
(and
(approximateValue ?V1 0.06)
(approximateValue ?V2 0.12))) |
Food.kif 1440-1450 |
|
(=>
(and
(instance ?SW SeaWater)
(measure ?SW
(MeasureFn 1.0 Liter))
(part ?SALT ?SW)
(instance ?SALT SodiumChloride)
(measure ?SALT
(MeasureFn ?R Gram)))
(approximateValue ?R 35.0)) |
Geography.kif 2836-2845 |
|
(=>
(and
(typicalBloodVolume ?M
(MeasureFn ?N ?U))
(instance ?MI ?M)
(holdsDuring ?T
(and
(not
(attribute ?H DiseaseOrSyndrome))
(bloodVolume ?H
(MeasureFn ?N2 ?U)))))
(approximateValue ?N2 ?N)) |
Medicine.kif 5933-5944 |
|
(=>
(instance ?E Espresso)
(exists (?W ?V)
(and
(instance ?W DrinkingWater)
(part ?W ?E)
(measure ?W
(MeasureFn ?V Liter))
(approximateValue ?V 0.03)))) |
Food.kif 754-762 |
|
(=>
(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}
|