(=>
(and
(physicalAmplitude ?T ?L)
(patient ?T ?O))
(exists (?P1 ?P2 ?T1 ?T2)
(and
(during ?T1
(WhenFn ?T))
(during ?T2
(WhenFn ?T))
(holdsDuring ?T1
(located ?O ?P1))
(holdsDuring ?T2
(located ?O ?P2))
(distance ?P1 ?P2 ?L)))) |
Cars.kif 674-686 |
If the amplitude X is Y and Z is a patient of X, then All of the following hold: (1) there exist W, V,, , U (2) T such that U takes place during the time of existence of X (3) T takes place during the time of existence of X (4) Z is located at W holds during U (5) Z is located at V holds during T (6) the distance between W (7) V is Y |
(=>
(and
(physicalAmplitude ?T
(MeasureFn ?L ?U))
(instance ?U UnitOfLength)
(patient ?T ?O))
(not
(exists (?P1 ?P2 ?T1 ?T2 ?L2)
(and
(during ?T1
(WhenFn ?T))
(during ?T2
(WhenFn ?T))
(holdsDuring ?T1
(located ?O ?P1))
(holdsDuring ?T2
(located ?O ?P2))
(distance ?P1 ?P2
(MeasureFn ?L2 ?U))
(greaterThan ?L2 ?L))))) |
Cars.kif 688-705 |
If the amplitude X is Y Z(s), Z is an instance of unit of length, and W is a patient of X, then there don't exist V, U,, , T,, , S and R such that T takes place during the time of existence of X and S takes place during the time of existence of X and W is located at V holds during T and W is located at U holds during S and the distance between V and U is R Z(s) and R is greater than Y |
(=>
(and
(instance ?E Motion)
(instance ?T Tremor)
(instance ?D Damper)
(patient ?T ?O)
(part ?D ?O)
(causes ?E ?T)
(instance ?U UnitOfLength)
(holdsDuring
(WhenFn ?E)
(physicalAmplitude ?T
(MeasureFn ?A1 ?U)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?E))
(physicalAmplitude ?T
(MeasureFn ?A2 ?U))))
(greaterThan ?A1 ?A2)) |
Cars.kif 714-731 |
If All of the following hold: (1) X is an instance of motion (2) Y is an instance of tremor (3) Z is an instance of damper (4) W is a patient of Y (5) Z is a part of W (6) X causes Y (7) V is an instance of unit of length (8) the amplitude Y is U V(s) holds during the time of existence of X (9) the amplitude Y is T V(s) holds during immediately after the time of existence of X, then U is greater than T |
(=>
(and
(dampingRatio ?P ?R)
(greaterThan ?R 0)
(instance ?T Tremor)
(patient ?T ?P)
(instance ?U UnitOfLength)
(holdsDuring ?T1
(physicalAmplitude ?T
(MeasureFn ?A1 ?U)))
(holdsDuring ?T2
(physicalAmplitude ?T
(MeasureFn ?A2 ?U)))
(during ?T1
(WhenFn ?T))
(during ?T2
(WhenFn ?T))
(earlier ?T1 ?T2))
(greaterThan ?A1 ?A2)) |
Cars.kif 748-764 |
If All of the following hold: (1) the damping ratio of X is Y (2) Y is greater than 0 (3) Z is an instance of tremor (4) X is a patient of Z (5) W is an instance of unit of length (6) the amplitude Z is V W(s) holds during U (7) the amplitude Z is T W(s) holds during S (8) U takes place during the time of existence of Z (9) S takes place during the time of existence of Z (10) U happens earlier than S, then V is greater than T |
physicalAmplitude