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 | Il numero 1 argomenti di RotationFn è un istanza di Rotating |
(domain RotationFn 2 TimeDuration) | Cars.kif 2110-2110 | Il numero 2 argomenti di RotationFn è un istanza di Durata |
(instance RotationFn BinaryFunction) | Cars.kif 2105-2105 | RotationFn è un' istanza di FunzioneBinaria |
(range RotationFn FunctionQuantity) | Cars.kif 2111-2111 | rango di RotationFn è un'istanza di FunzioneDiQuantit� |
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 |