(<=>
(equal ?SPEED
(MeasureFn ?NUM MilesPerHour))
(equal ?SPEED
(SpeedFn
(MeasureFn ?NUM Mile)
(MeasureFn 1 HourDuration)))) |
Weather.kif 1685-1691 |
FunctionQuantity ist gleich RealNumber MilesPerHour(s) %n{nicht} genau dann wenn ** FunctionQuantity ist gleich ** RealNumber Mile(s) pro &2 %n{nicht} |
(=>
(and
(instance ?ACCELERATE Accelerating)
(agent ?ACCELERATE ?AGENT))
(exists (?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(and
(holdsDuring
(BeginFn
(WhenFn ?ACCELERATE))
(measure ?AGENT
(SpeedFn
(MeasureFn ?LENGTH1 ?U1)
(MeasureFn ?TIME1 ?U2))))
(holdsDuring
(EndFn
(WhenFn ?ACCELERATE))
(measure ?AGENT
(SpeedFn
(MeasureFn ?LENGTH2 ?U1)
(MeasureFn ?TIME2 ?U2))))
(or
(greaterThan ?LENGTH2 ?LENGTH1)
(greaterThan ?TIME2 ?TIME1))))) |
Mid-level-ontology.kif 17170-17191 |
- Wenn Process ist ein fall von Accelerating %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht},
- dann es gibt RealNumber, ** RealNumber,, , ** RealNumber,, , ** RealNumber,, , entity, and und ** entity um das mass von ** AutonomousAgent ist ** RealNumber ** entity(s) pro &2 %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und das mass von ** AutonomousAgent ist ** ** RealNumber ** entity(s) pro &2 %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht} und ** ** RealNumber ist groesserAls ** RealNumber %n{nicht} oder ** ** RealNumber ist groesserAls ** ** RealNumber %n{nicht}
|
(=>
(and
(instance ?D Decelerating)
(agent ?D ?A))
(exists (?L1 ?L2 ?T1 ?T2 ?U1 ?U2)
(and
(holdsDuring
(BeginFn
(WhenFn ?D))
(measure ?A
(SpeedFn
(MeasureFn ?L1 ?U1)
(MeasureFn ?T1 ?U2))))
(holdsDuring
(EndFn
(WhenFn ?D))
(measure ?A
(SpeedFn
(MeasureFn ?L2 ?U1)
(MeasureFn ?T2 ?U2))))
(or
(greaterThan ?L1 ?L2)
(greaterThan ?T1 ?T2))))) |
Mid-level-ontology.kif 17198-17218 |
- Wenn Process ist ein fall von Decelerating %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht},
- dann es gibt RealNumber, ** RealNumber,, , ** RealNumber,, , ** RealNumber,, , entity, and und ** entity um das mass von ** AutonomousAgent ist ** RealNumber ** entity(s) pro &2 %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und das mass von ** AutonomousAgent ist ** ** RealNumber ** entity(s) pro &2 %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht} und ** RealNumber ist groesserAls ** ** RealNumber %n{nicht} oder ** ** RealNumber ist groesserAls ** ** RealNumber %n{nicht}
|
(=>
(and
(instance ?PLACE Object)
(instance ?BLOW Wind)
(measure ?BLOW
(VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION)))
(surfaceWindVelocity ?PLACE
(SpeedFn ?DIST ?TIME) ?DIRECTION)) |
Weather.kif 125-130 |
|
(=>
(and
(instance ?ZEPHYR WindFlow)
(instance ?PLACE Object)
(partlyLocated ?ZEPHYR ?PLACE)
(elevation ?ZEPHYR
(MeasureFn ?X FootLength))
(lessThanOrEqualTo ?X 500.0)
(measure ?ZEPHYR
(SpeedFn ?DIST ?TIME)))
(surfaceWindSpeed ?PLACE
(SpeedFn ?DIST ?TIME))) |
Weather.kif 136-145 |
|
(=>
(and
(measure
(FlowFn ?FLUID)
(SpeedFn ?LENGTH ?TIME))
(piece ?PART ?FLUID))
(piece ?PART
(SpeedFn ?LENGTH ?TIME))) |
Geography.kif 4899-4903 |
|
(=>
(equal ?SPEED
(MeasureFn ?NUM KnotUnitOfSpeed))
(equal ?SPEED
(SpeedFn
(MeasureFn ?NUM NauticalMile)
(MeasureFn 1.0 HourDuration)))) |
Geography.kif 3939-3945 |
|
(=>
(measure ?OBJECT
(VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION))
(measure ?OBJECT
(SpeedFn ?DISTANCE ?TIME))) |
Merge.kif 6680-6682 |
|