(=>
(measure ?OBJECT
(VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION))
(measure ?OBJECT
(SpeedFn ?DISTANCE ?TIME))) |
Merge.kif 6798-6800 |
If the measure of X is Y per Z in W in the direction V, then the measure of X is Y per Z |
(<=>
(equal ?SPEED
(MeasureFn ?NUM MilesPerHour))
(equal ?SPEED
(SpeedFn
(MeasureFn ?NUM Mile)
(MeasureFn 1 HourDuration)))) |
Merge.kif 11532-11538 |
equal X and Y miles per hour(s) if and only if equal X and Y mile(s) per 1 hour duration(s) |
(=>
(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 18761-18782 |
If X is an instance of accelerating and Y is an agent of X, then there exist Z, W,, , V,, , U,, , T and S such that the measure of Y is Z T(s) per V S(s) holds during the beginning of the time of existence of X and the measure of Y is W T(s) per U S(s) holds during the end of the time of existence of X and W is greater than Z or U is greater than V |
(=>
(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 18789-18809 |
If X is an instance of decelerating and Y is an agent of X, then there exist Z, W,, , V,, , U,, , T and S such that the measure of Y is Z T(s) per V S(s) holds during the beginning of the time of existence of X and the measure of Y is W T(s) per U S(s) holds during the end of the time of existence of X and Z is greater than W or V is greater than U |
(=>
(instance ?S Speedometer)
(hasPurpose ?S
(exists (?V ?T ?SPEED ?DIST ?TIME ?M)
(and
(instance ?V Vehicle)
(part ?S ?V)
(instance ?T Translocation)
(instrument ?T ?V)
(measure ?T ?SPEED)
(equal ?SPEED
(SpeedFn ?DIST ?TIME))
(instance ?M Measuring)
(instrument ?M ?S)
(measurementReading ?M ?SPEED))))) |
Cars.kif 2872-2886 |
If X is an instance of speedometer, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of vehicle (3) X is a part of Y (4) Z is an instance of translocation (5) Y is an instrument for Z (6) the measure of Z is W (7) equal W (8) V per U (9) T is an instance of measuring (10) X is an instrument for T (11) W is a measurement reading of T |
(=>
(equal ?SPEED
(MeasureFn ?NUM KnotUnitOfSpeed))
(equal ?SPEED
(SpeedFn
(MeasureFn ?NUM NauticalMile)
(MeasureFn 1.0 HourDuration)))) |
Geography.kif 5474-5480 |
If equal X and Y knot unit of speed(s), then equal X and Y nautical mile(s) per 1.0 hour duration(s) |
(=>
(and
(measure
(FlowFn ?FLUID)
(SpeedFn ?LENGTH ?TIME))
(piece ?PART ?FLUID))
(piece ?PART
(SpeedFn ?LENGTH ?TIME))) |
Geography.kif 6455-6459 |
If the measure of the flow of X is Y per Z and W is a piece of X, then W is a piece of Y per Z |
(=>
(and
(instance ?S RadiatingSound)
(path ?S ?R)
(distanceOnPath ?L ?R)
(duration
(WhenFn ?S) ?D)
(speedOfSound ?Q ?R
(WhenFn ?S)))
(equal ?Q
(SpeedFn ?L ?D))) |
Transportation.kif 5116-5126 |
If X is an instance of radiating sound, Y is path along which X occurs, the distance of Y is Z, duration of the time of existence of X is W, and the speedOfSound for V at Y is V, then equal V and Z per W |
(=>
(and
(instance ?S RadiatingSound)
(speedOfSound ?Q ?R
(WhenFn ?S)))
(exists (?D ?L)
(and
(path ?S ?R)
(distanceOnPath ?L ?R)
(duration
(WhenFn ?S) ?D)
(equal ?Q
(SpeedFn ?L ?D))))) |
Transportation.kif 5128-5139 |
If X is an instance of radiating sound and the speedOfSound for Y at Z is Y, then there exist W, V such that Z is path along which X occurs, the distance of Z is V, duration of the time of existence of X is W, equal Y, and V per W |
(<=>
(equal ?SPEED
(MeasureFn ?NUM MeterPerSecond))
(equal ?SPEED
(SpeedFn
(MeasureFn ?NUM Meter)
(MeasureFn 1 SecondDuration)))) |
Transportation.kif 5192-5198 |
equal X and Y meter per second(s) if and only if equal X and Y meter(s) per 1 second duration(s) |
(<=>
(equal ?SPEED
(MeasureFn ?NUM KiloMeterPerHour))
(equal ?SPEED
(SpeedFn
(MeasureFn ?NUM Kilometer)
(MeasureFn 1 HourDuration)))) |
Transportation.kif 5207-5213 |
equal X and Y kilometer per hour(s) if and only if equal X and Y kilometer(s) per 1 hour duration(s) |
(=>
(and
(instance ?F Flying)
(patient ?F ?A)
(instance ?A Aircraft)
(path ?F ?R)
(distanceOnPath ?L ?R)
(duration
(WhenFn ?F) ?D)
(speedOfSound ?Q ?R
(WhenFn ?F))
(holdsDuring
(WhenFn ?F)
(measure ?A
(MeasureFn ?M MachNumber))))
(equal ?M
(DivisionFn
(SpeedFn ?L ?D) ?Q))) |
Transportation.kif 5225-5237 |
If All of the following hold: (1) X is an instance of flying (2) Y is a patient of X (3) Y is an instance of aircraft (4) Z is path along which X occurs (5) the distance of Z is W (6) duration of the time of existence of X is V (7) the speedOfSound for U at Z is U (8) the measure of Y is T Mach number(s) holds during the time of existence of X, then equal T, W per V, and U |
(=>
(and
(instance ?PLACE Object)
(instance ?BLOW Wind)
(measure ?BLOW
(VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION)))
(surfaceWindVelocity ?PLACE
(SpeedFn ?DIST ?TIME) ?DIRECTION)) |
Weather.kif 125-130 |
If X is an instance of object, Y is an instance of wind, and the measure of Y is Z per W in X in the direction V, then X is surface wind velocity Z per W for V |
(=>
(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 |
If All of the following hold: (1) X is an instance of wind flow (2) Y is an instance of object (3) X is partly located in Y (4) Z foot length(s) is an elevation of X (5) Z is less than or equal to 500.0 (6) the measure of X is W per V, then W per V is a surface wind speed of Y |
SpeedFn