antecedent

(=>     (and         (holdsDuring ?T             (measure ?C ?S))         (engineIdleSpeed ?E ?S)         (instance ?A Automobile)         (part ?E ?A)         (part ?C ?E))     (modalAttribute         (not             (exists (?P ?GP)                 (and                     (during ?P ?T)                     (instance ?P Pushing)                     (destination ?P ?GP)                     (part ?GP ?A)))) Likely))	Cars.kif 2401-2417	If the measure of X is Y holds during Z, the idle speed of W is Y, V is an instance of automobile, W is a part of V, and X is a part of W, then the statement there don't exist U, T such that U takes place during Z, U is an instance of pushing, U ends up at T, and T is a part of V has the modal force of likely
(=>     (and         (engineIdleSpeed ?E             (MeasureFn ?RI RevolutionsPerMinute))         (instance ?A Automobile)         (instance ?GP GasPedal)         (instance ?P Pushing)         (destination ?P ?GP)         (part ?E ?A)         (part ?GP ?A)         (instance ?C Crankshaft)         (instance ?R1 Rotating)         (moves ?R1 ?C)         (during             (WhenFn ?R1)             (WhenFn ?P))         (part ?C ?E)         (equal             (MeasureFn ?RA RevolutionsPerMinute)             (RotationFn ?R1)))     (modalAttribute         (greaterThan ?RA ?RI) Likely))	Cars.kif 2419-2441	If All of the following hold: (1) the idle speed of X is Y revolutions per minute(s) (2) Z is an instance of automobile (3) W is an instance of gas pedal (4) V is an instance of pushing (5) V ends up at W (6) X is a part of Z (7) W is a part of Z (8) U is an instance of crankshaft (9) T is an instance of rotating (10) U moves during T (11) the time of existence of T takes place during the time of existence of V (12) U is a part of X (13) equal S revolutions per minute(s) and the rotation of T during, then the statement S is greater than Y has the modal force of likely

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