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 2101-2102 | |
(domain RotationFn 1 Rotating) | Cars.kif 2103-2103 | RotationFn の数値 1 引数は Rotating の instance では %n |
(domain RotationFn 2 TimeDuration) | Cars.kif 2104-2104 | RotationFn の数値 2 引数は 時間分 の instance では %n |
(instance RotationFn BinaryFunction) | Cars.kif 2099-2099 | RotationFn は 2変数関数 の instance では %n |
(range RotationFn FunctionQuantity) | Cars.kif 2105-2105 | RotationFn の range は 関数量 のインスタンス では %n |
appearance as argument number 2 |
(format EnglishLanguage RotationFn "the rotation of %1 during %2") | Cars.kif 2100-2100 | |
(termFormat EnglishLanguage RotationFn "rotation fn") | domainEnglishFormat.kif 65421-65421 |
antecedent |
consequent |