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 2107-2108 | |
(domain RotationFn 1 Rotating) | Cars.kif 2109-2109 | RotationFn 的 1 数量 是 旋转 的 instance |
(domain RotationFn 2 TimeDuration) | Cars.kif 2110-2110 | RotationFn 的 2 数量 是 持续时间 的 instance |
(instance RotationFn BinaryFunction) | Cars.kif 2105-2105 | RotationFn 是 二元函数 的 instance |
(range RotationFn FunctionQuantity) | Cars.kif 2111-2111 | RotationFn 的 range 是 函数量 的实例 |
appearance as argument number 2 |
(format EnglishLanguage RotationFn "the rotation of %1 during %2") | Cars.kif 2106-2106 | |
(termFormat EnglishLanguage RotationFn "rotation fn") | domainEnglishFormat.kif 65421-65421 |
antecedent |
consequent |