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 and 旋轉 |
(domain RotationFn 2 TimeDuration) | Cars.kif 2104-2104 | 域 RotationFn, 2 and TimeDuration |
(instance RotationFn BinaryFunction) | Cars.kif 2099-2099 | 例 RotationFn and BinaryFunction |
(range RotationFn FunctionQuantity) | Cars.kif 2105-2105 | 範圍 RotationFn and FunctionQuantity |
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 |