(=>
(equal ?SPEED
(Mean10MinutesWindSpeedFn ?PLACE ?TIME))
(holdsDuring ?TIME
(exists (?MLIST ?RLIST ?NLIST ?UNIT)
(and
(instance ?MLIST MeasuringSurfaceWindSpeedList)
(locationMeasuringList ?MLIST ?PLACE)
(measuringListInterval ?MLIST
(MeasureFn 5 SecondDuration))
(measuringListDuration ?MLIST
(MeasureFn 10 MinuteDuration))
(equal 120
(ListLengthFn ?MLIST))
(measuringResult ?MLIST ?RLIST)
(equal ?NLIST
(PhysicalQuantityToNumberFn ?RLIST))
(equal ?SPEED
(MeasureFn
(AverageFn ?NLIST) ?UNIT)))))) |
Weather.kif 2219-2236 |
|
(=>
(equal ?SPEED
(Mean1MinuteWindSpeedFn ?PLACE ?TIME))
(holdsDuring ?TIME
(exists (?MLIST ?RLIST ?NLIST ?UNIT)
(and
(instance ?MLIST MeasuringSurfaceWindSpeedList)
(locationMeasuringList ?MLIST ?PLACE)
(measuringListInterval ?MLIST
(MeasureFn 5 SecondDuration))
(measuringListDuration ?MLIST
(MeasureFn 1 MinuteDuration))
(equal 12
(ListLengthFn ?MLIST))
(measuringResult ?MLIST ?RLIST)
(equal ?NLIST
(PhysicalQuantityToNumberFn ?RLIST))
(equal ?SPEED
(MeasureFn
(AverageFn ?NLIST) ?UNIT)))))) |
Weather.kif 2324-2341 |
|
(=>
(equal ?SPEED
(Mean2MinutesWindSpeedFn ?PLACE ?TIME))
(holdsDuring ?TIME
(exists (?MLIST ?RLIST ?NLIST ?UNIT)
(and
(instance ?MLIST MeasuringSurfaceWindSpeedList)
(locationMeasuringList ?MLIST ?PLACE)
(measuringListInterval ?MLIST
(MeasureFn 5 SecondDuration))
(measuringListDuration ?MLIST
(MeasureFn 2 MinuteDuration))
(equal 24
(ListLengthFn ?MLIST))
(measuringResult ?MLIST ?RLIST)
(equal ?NLIST
(PhysicalQuantityToNumberFn ?RLIST))
(equal ?SPEED
(MeasureFn
(AverageFn ?NLIST) ?UNIT)))))) |
Weather.kif 2289-2306 |
|
(=>
(equal ?SPEED
(Mean3MinutesWindSpeedFn ?PLACE ?TIME))
(holdsDuring ?TIME
(exists (?MLIST ?RLIST ?NLIST ?UNIT)
(and
(instance ?MLIST MeasuringSurfaceWindSpeedList)
(locationMeasuringList ?MLIST ?PLACE)
(measuringListInterval ?MLIST
(MeasureFn 5 SecondDuration))
(measuringListDuration ?MLIST
(MeasureFn 2 MinuteDuration))
(equal 36
(ListLengthFn ?MLIST))
(measuringResult ?MLIST ?RLIST)
(equal ?NLIST
(PhysicalQuantityToNumberFn ?RLIST))
(equal ?SPEED
(MeasureFn
(AverageFn ?NLIST) ?UNIT)))))) |
Weather.kif 2254-2271 |
|
(=>
(equal ?SPEEDLIST
(Mean3SecondWindSpeedListFn ?PLACE ?TIME))
(duration ?TIME
(MeasureFn 2 MinuteDuration))) |
Weather.kif 2015-2019 |
|
(=>
(instance ?AT AutomobileTransmission)
(hasPurpose ?AT
(exists (?C ?D ?A ?R1 ?N1 ?R2 ?R3 ?R4 ?N2 ?N3)
(and
(instance ?C Crankshaft)
(instance ?D Driveshaft)
(instance ?A Automobile)
(part ?D ?A)
(part ?AT ?A)
(part ?C ?A)
(connectedEngineeringComponents ?C ?AT)
(connectedEngineeringComponents ?D ?AT)
(instance ?R1 Rotating)
(instance ?R2 Rotating)
(instance ?R3 Rotating)
(instance ?R4 Rotating)
(patient ?R1 ?C)
(patient ?R2 ?C)
(patient ?R3 ?D)
(patient ?R4 ?D)
(causes ?R1 ?R3)
(causes ?R2 ?R4)
(not
(equal ?R1 ?R2))
(holdsDuring ?R1
(measure ?C
(RotationFn ?N1 MinuteDuration)))
(holdsDuring ?R2
(measure ?C
(RotationFn ?N1 MinuteDuration)))
(holdsDuring ?R3
(measure ?D
(RotationFn ?N2 MinuteDuration)))
(holdsDuring ?R4
(measure ?D
(RotationFn ?N3 MinuteDuration)))
(not
(equal ?N2 ?N3)))))) |
Cars.kif 2352-2386 |
- Wenn Physical ist ein fall von AutomobileTransmission %n{nicht},
- dann ** Physical hat Zweck von es gibt entity, ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity, and und ** entity um ** entity ist ein fall von Crankshaft %n{nicht} und ** ** entity ist ein fall von Driveshaft %n{nicht} und ** ** entity ist ein fall von Automobile %n{nicht} und ** ** entity ist ein teil von ** ** entity %n{nicht} und ** Physical ist ein teil von ** ** entity %n{nicht} und ** entity ist ein teil von ** ** entity %n{nicht} und ** entity wird mit ** Physical angeschlossen und ** ** entity wird mit ** Physical angeschlossen und ** ** entity ist ein fall von Rotating %n{nicht} und ** ** entity ist ein fall von Rotating %n{nicht} und ** ** entity ist ein fall von Rotating %n{nicht} und ** ** entity ist ein fall von Rotating %n{nicht} und ** entity ist ein patient von ** ** entity %n{nicht} und ** entity ist ein patient von ** ** entity %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und ** ** entity verursacht ** ** entity %n{nicht} und ** ** entity verursacht ** ** entity %n{nicht} und ** ** entity ist gleich ** ** entity nicht und das mass von ** entity ist RotationFn ** ** entity and MinuteDuration %n{nicht} haelt waehrend ** ** entity %n{nicht} und das mass von ** entity ist RotationFn ** ** entity and MinuteDuration %n{nicht} haelt waehrend ** ** entity %n{nicht} und das mass von ** ** entity ist RotationFn ** ** entity and MinuteDuration %n{nicht} haelt waehrend ** ** entity %n{nicht} und das mass von ** ** entity ist RotationFn ** ** entity and MinuteDuration %n{nicht} haelt waehrend ** ** entity %n{nicht} und ** ** entity ist gleich ** ** entity nicht %n{nicht}
|
(=>
(instance ?IV IVBolusTherapy)
(and
(duration
(WhenFn ?IV)
(MeasureFn ?N MinuteDuration))
(lessThan ?N 5.0))) |
Medicine.kif 6162-6168 |
|
(=>
(instance ?MINUTE Minute)
(duration ?MINUTE
(MeasureFn 1 MinuteDuration))) |
Merge.kif 9378-9380 |
|