consequent

(=>     (and         (instance ?O Odometer)         (instance ?V Vehicle)         (part ?O ?V)         (instance ?T Translocation)         (instrument ?T ?V)         (path ?T ?P)         (distanceOnPath             (MeasureFn ?D ?U) ?P)         (instance ?U LengthMeasure))     (hasPurpose ?O         (exists (?M ?L ?DIST)             (and                 (instance ?M Measuring)                 (instrument ?M ?O)                 (measurementReading ?O ?DIST)                 (inList ?D ?L)                 (holdsDuring                     (WhenFn                         (EndFn ?M))                     (and                         (equal ?DIST                             (MeasureFn                                 (ListSumFn ?L) ?U))                         (not                             (attribute ?O ResetMeasuringDevice))))))))	Cars.kif 2824-2850	If All of the following hold: (1) X is an instance of odometer (2) 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) W is path along which Z occurs (7) the distance of W is V U(s) (8) U is an instance of length measure, then X has the purpose there exist T, S and R such that T is an instance of measuring and X is an instrument for T and R is a measurement reading of X and V is a member of S and equal R and the sum of S U(s) and reset measuring device is not an attribute of X holds during the time of existence of the end of T
(=>     (and         (instance ?X MeasuringDevice)         (attribute ?X ResetMeasuringDevice))     (and         (measurementReading ?X             (MeasureFn 0 ?U))         (instance ?U UnitOfMeasure)))	Cars.kif 2858-2865	If X is an instance of measuring device and reset measuring device is an attribute of X, then 0 Y(s) is a measurement reading of X and Y is an instance of unit of measure
(=>     (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

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