consequent

(<=>     (equal ?SPEED         (MeasureFn ?NUM MilesPerHour))     (equal ?SPEED         (SpeedFn             (MeasureFn ?NUM Mile)             (MeasureFn 1 HourDuration))))	Weather.kif 3026-3032	equal a function quantity and a real number miles per hour(s) if and only if equal the function quantity and the real number 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 18516-18537	If a process is an instance of accelerating and an agent is an agent of the process, then there exist a real number, another real number,, , a third real number,, , a fourth real number,, , an entity and another entity such that the measure of the agent is the real number the entity(s) per the third real number 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 real number the entity(s) per the fourth real number the other entity(s) holds during the end of the time of existence of the process and the other real number is greater than the real number or the fourth real number is greater than the third real number
(=>     (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 18544-18564	If a process is an instance of decelerating and an agent is an agent of the process, then there exist a real number, another real number,, , a third real number,, , a fourth real number,, , an entity and another entity such that the measure of the agent is the real number the entity(s) per the third real number 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 real number the entity(s) per the fourth real number the other entity(s) holds during the end of the time of existence of the process and the real number is greater than the other real number or the third real number is greater than the fourth real number
(=>     (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 a region is an instance of object and a physical is an instance of wind and the measure of the physical is a length measure per a time duration in the region in the direction a directional attribute, then the region is surface wind velocity the length measure per the time duration for the directional attribute
(=>     (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 an object is an instance of wind flow and another object is an instance of object and the object is partly located in the other object and a real number foot length(s) is an elevation of the object and the real number is less than or equal to 500.0 and the measure of the object is a length measure per a time duration, then the length measure per the time duration is a surface wind speed of the other object
(=>     (and         (measure             (FlowFn ?FLUID)             (SpeedFn ?LENGTH ?TIME))         (piece ?PART ?FLUID))     (piece ?PART         (SpeedFn ?LENGTH ?TIME)))	Geography.kif 6465-6469	If the measure of the flow of a substance is a length measure per a time duration and another substance is a piece of the substance, then the other substance is a piece of the length measure per the time duration
(=>     (equal ?SPEED         (MeasureFn ?NUM KnotUnitOfSpeed))     (equal ?SPEED         (SpeedFn             (MeasureFn ?NUM NauticalMile)             (MeasureFn 1.0 HourDuration))))	Geography.kif 5502-5508	If equal a function quantity and a real number knot unit of speed(s), then equal the function quantity and the real number nautical mile(s) per 1.0 hour duration(s)
(=>     (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 3018-3032	If a physical is an instance of speedometer, then the physical has the purpose there exist an entity, another entity,, , the physicalPEED,, , a fourth entity,, , the other entityIME and a sixth entity such that the entity is an instance of vehicle and the physical is a part of the entity and the other entity is an instance of translocation and the entity is an instrument for the other entity and the measure of the other entity is the physicalPEED and equal the physicalPEED and the fourth entity per the other entityIME and the sixth entity is an instance of measuring and the physical is an instrument for the sixth entity and the physicalPEED is a measurement reading of the sixth entity
(=>     (measure ?OBJECT         (VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION))     (measure ?OBJECT         (SpeedFn ?DISTANCE ?TIME)))	Merge.kif 6729-6731	If the measure of a physical is a length measure per a time duration in a region in the direction a directional attribute, then the measure of the physical is the length measure per the time duration

Show simplified definition (without tree view)
Show simplified definition (with tree view)