AccelerationFn |
appearance as argument number 1 |
(documentation AccelerationFn EnglishLanguage "Specifies the acceleration of an object, i.e. the change in speed for a given direction.") | Cars.kif 1269-1270 | |
(domain AccelerationFn 1 FunctionQuantity) | Cars.kif 1274-1274 | AccelerationFn の数値 1 引数は 関数量 の instance では %n |
(domain AccelerationFn 2 TimeDuration) | Cars.kif 1275-1275 | AccelerationFn の数値 2 引数は 時間分 の instance では %n |
(domain AccelerationFn 3 Object) | Cars.kif 1276-1276 | AccelerationFn の数値 3 引数は オブジェクト の instance では %n |
(domain AccelerationFn 4 DirectionalAttribute) | Cars.kif 1277-1277 | AccelerationFn の数値 4 引数は 方向属性 の instance では %n |
(instance AccelerationFn QuaternaryFunction) | Cars.kif 1278-1278 | AccelerationFn は 4変数関数 の instance では %n |
(instance AccelerationFn TotalValuedRelation) | Cars.kif 1279-1279 | AccelerationFn は 合計値関係 の instance では %n |
(range AccelerationFn FunctionQuantity) | Cars.kif 1280-1280 | AccelerationFn の range は 関数量 のインスタンス では %n |
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 64395-64395 |
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 |
|