( ! [V__SPEED,V__NUM] :
(((s__instance(V__SPEED,s__FunctionQuantity) &
s__instance(V__NUM,s__RealNumber))
=>
((((V__SPEED = s__MeasureFn(V__NUM,s__MilesPerHour))
=>
(V__SPEED = s__SpeedFn(s__MeasureFn(V__NUM,s__Mile),s__MeasureFn(n__1,s__HourDuration))))
&
((V__SPEED = s__SpeedFn(s__MeasureFn(V__NUM,s__Mile),s__MeasureFn(n__1,s__HourDuration)))
=>
(V__SPEED = s__MeasureFn(V__NUM,s__MilesPerHour))))))
)
)
|
Weather.kif 1701-1707 |
A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s) |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16243-16264 |
- If a process is an instance of accelerating and an agent is an agent of the process,
- then there exist a quantity, another quantity,, , a third quantity,, , a fourth quantity,, , an entity and another entity such that the measure of the agent is the quantity the entity(s) per the third quantity the other entity(s) holds during the beginning of the time of existence of the process and the measure of the agent is the other quantity the entity(s) per the fourth quantity the other entity(s) holds during the end of the time of existence of the process and the other quantity is greater than the quantity or the fourth quantity is greater than the third quantity
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16271-16291 |
- If a process is an instance of decelerating and an agent is an agent of the process,
- then there exist a quantity, another quantity,, , a third quantity,, , a fourth quantity,, , an entity and another entity such that the measure of the agent is the quantity the entity(s) per the third quantity the other entity(s) holds during the beginning of the time of existence of the process and the measure of the agent is the other quantity the entity(s) per the fourth quantity the other entity(s) holds during the end of the time of existence of the process and the quantity is greater than the other quantity or the third quantity is greater than the fourth quantity
|
( ! [V__DIST,V__TIME,V__PLACE,V__BLOW,V__DIRECTION] :
(((s__instance(V__DIST,s__LengthMeasure) &
s__instance(V__TIME,s__TimeDuration) &
s__instance(V__DIRECTION,s__DirectionalAttribute))
=>
(((s__instance(V__PLACE,s__Object) &
s__instance(V__BLOW,s__Wind) &
s__measure(V__BLOW,s__VelocityFn(V__DIST,V__TIME,V__PLACE,V__DIRECTION)))
=>
(s__surfaceWindVelocity(V__PLACE,s__SpeedFn(V__DIST,V__TIME)
,V__DIRECTION)))))
)
)
|
Weather.kif 125-130 |
|
( ! [V__DIST,V__TIME,V__PLACE,V__ZEPHYR,V__X] :
(((s__instance(V__DIST,s__LengthMeasure) &
s__instance(V__TIME,s__TimeDuration) &
s__instance(V__X,s__RealNumber))
=>
(((s__instance(V__ZEPHYR,s__WindFlow) &
s__instance(V__PLACE,s__Object) &
s__partlyLocated(V__ZEPHYR,V__PLACE)
&
s__elevation(V__ZEPHYR,s__MeasureFn(V__X,s__FootLength))
&
s__lessThanOrEqualTo(V__X,n__500)
&
s__measure(V__ZEPHYR,s__SpeedFn(V__DIST,V__TIME)))
=>
(s__surfaceWindSpeed(V__PLACE,s__SpeedFn(V__DIST,V__TIME))))))
)
)
|
Weather.kif 148-157 |
|
( ! [V__TIME,V__FLUID,V__LENGTH,V__PART] :
(((s__instance(V__TIME,s__TimeDuration) &
s__instance(V__FLUID,s__Substance) &
s__instance(V__FLUID,s__FlowRegion) &
s__instance(V__LENGTH,s__LengthMeasure) &
s__instance(V__PART,s__Substance))
=>
(((s__measure(s__FlowFn(V__FLUID)
,s__SpeedFn(V__LENGTH,V__TIME))
&
s__piece(V__PART,V__FLUID))
=>
(s__piece(V__PART,s__SpeedFn(V__LENGTH,V__TIME))))))
)
)
|
Geography.kif 4685-4689 |
|
( ! [V__SPEED,V__NUM] :
(((s__instance(V__SPEED,s__FunctionQuantity) &
s__instance(V__NUM,s__RealNumber))
=>
(((V__SPEED = s__MeasureFn(V__NUM,s__KnotUnitOfSpeed))
=>
((V__SPEED = s__SpeedFn(s__MeasureFn(V__NUM,s__NauticalMile),s__MeasureFn(n__1,s__HourDuration)))))))
)
)
|
Geography.kif 3778-3780 |
|
( ! [V__OBJECT,V__TIME,V__REF,V__DISTANCE,V__DIRECTION] :
(((s__instance(V__OBJECT,s__Physical) &
s__instance(V__TIME,s__TimeDuration) &
s__instance(V__REF,s__Region) &
s__instance(V__DISTANCE,s__LengthMeasure) &
s__instance(V__DIRECTION,s__DirectionalAttribute))
=>
((s__measure(V__OBJECT,s__VelocityFn(V__DISTANCE,V__TIME,V__REF,V__DIRECTION))
=>
(s__measure(V__OBJECT,s__SpeedFn(V__DISTANCE,V__TIME))))))
)
)
|
Merge.kif 6469-6471 |
|
