RotationFn |
appearance as argument number 1 |
![]() |
(documentation RotationFn EnglishLanguage "A Function that maps an instance of Rotating to the speed of the rotation.") | Cars.kif 2085-2086 | |
(domain RotationFn 1 Rotating) | Cars.kif 2087-2087 | RotationFn の数値 1 引数は Rotating の instance では |
(domain RotationFn 2 TimeDuration) | Cars.kif 2088-2088 | RotationFn の数値 2 引数は 時間分 の instance では |
(instance RotationFn BinaryFunction) | Cars.kif 2083-2083 | RotationFn は 2変数関数 の instance では |
(range RotationFn FunctionQuantity) | Cars.kif 2089-2089 | RotationFn の range は 関数量 のインスタンス では |
appearance as argument number 2 |
![]() |
(format EnglishLanguage RotationFn "the rotation of %1 during %2") | Cars.kif 2084-2084 | |
(termFormat EnglishLanguage RotationFn "rotation fn") | domainEnglishFormat.kif 65415-65415 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |