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 2085-2086 | |
(domain RotationFn 1 Rotating) | Cars.kif 2087-2087 | |
(domain RotationFn 2 TimeDuration) | Cars.kif 2088-2088 | |
(instance RotationFn BinaryFunction) | Cars.kif 2083-2083 | |
(range RotationFn FunctionQuantity) | Cars.kif 2089-2089 |
appearance as argument number 2 |
![]() |
(format EnglishLanguage RotationFn "the rotation of %1 during %2") | Cars.kif 2084-2084 | |
(termFormat EnglishLanguage RotationFn "rotation fn") | domainEnglishFormat.kif 65444-65444 |
antecedent |
![]() |
(=> (and (engineIdleSpeed ?E (RotationFn (MeasureFn ?N1 MilesPerHour) ?M)) (instance ?A Automobile) (instance ?P GasPedal) (instance ?P Pushing) (destination ?P ?GP) (part ?E ?A) (part ?GP ?A) (instance ?C Crankshaft) (part ?C ?E) (holdsDuring (WhenFn ?P) (measure ?C (RotationFn (MeasureFn ?N2 MilesPerHour) ?M)))) (modalAttribute (greaterThan ?N2 ?N1) Likely)) |
Cars.kif 2569-2587 | |
(=> (and (instance ?SH1 Shaft) (instance ?SH2 Shaft) (not (equal ?SH1 ?SH2)) (instance ?R1 Rotating) (patient ?R1 ?SH1) (instance ?R2 Rotating) (patient ?R2 ?SH2) (causes ?R1 ?R2) (instance ?CV CVJoint) (connectedEngineeringComponents ?R1 ?CV) (connectedEngineeringComponents ?R2 ?CV) (holdsDuring (WhenFn ?R1) (equal ?SH1 (RotationFn ?N ?T)))) (holdsDuring (WhenFn ?R2) (equal ?SH2 (RotationFn ?N ?T)))) |
Cars.kif 2098-2117 |
consequent |
![]() |
![]() |
![]() |