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 | |
(domain RotationFn 2 TimeDuration) | Cars.kif 2104-2104 | |
(instance RotationFn BinaryFunction) | Cars.kif 2099-2099 | |
(range RotationFn FunctionQuantity) | Cars.kif 2105-2105 |
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 65433-65433 |
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 2585-2603 | |
(=> (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 2114-2133 |
consequent |
![]() |
![]() |
![]() |