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 | Le nombre 1 argument de RotationFn est une instance de Rotating |
(domain RotationFn 2 TimeDuration) | Cars.kif 2104-2104 | Le nombre 2 argument de RotationFn est une instance de dur�e temporel |
(instance RotationFn BinaryFunction) | Cars.kif 2099-2099 | RotationFn est une instance de fonction binaire |
(range RotationFn FunctionQuantity) | Cars.kif 2105-2105 | Le domaine de RotationFn est une instance de function de quantit� |
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 |