AccelerationFn |
appearance as argument number 1 |
appearance as argument number 2 |
(format EnglishLanguage AccelerationFn "the accelleration %1 of %3 in %2 in the direction %4") | Cars.kif 1271-1272 | |
(termFormat EnglishLanguage AccelerationFn "Acceleration fn") | domainEnglishFormat.kif 64397-64397 |
consequent |
(=> (and (instance ?B Braking) (patient ?B ?O)) (and (holdsDuring (ImmediatePastFn (WhenFn ?B)) (equal (MeasureFn ?A1 MilesPerHour) (AccelerationFn ?FQ ?T ?O ?D))) (holdsDuring (ImmediateFutureFn (WhenFn ?B)) (equal (MeasureFn ?A2 MilesPerHour) (AccelerationFn ?FQ ?T ?O ?D))) (greaterThan ?A1 ?A2))) |
Cars.kif 1252-1267 |
|