dampingRatio |
appearance as argument number 1 |
(documentation dampingRatio EnglishLanguage "(dampingRation ?SYSTEM ?NUM) is a measure of to what degree a system is free to oscillate or not. In an overdamped system ?NUM is greater than 1. The system returns (exponentially decays) to equilibrium without oscillating. Larger values of the damping ratio signify a return to equilibrium more slowly. In a critically damped ?NUM equals 1. The system returns to equilibrium as quickly as possible without oscillating. This is often desired for the damping of systems such as doors. In an underdamped system 0 < ?NUM < 1. The system oscillates (at reduced frequency compared to the undamped case) with the amplitude gradually decreasing to zero. Finally, in an undamped system ?NUM is 0. The system oscillates at its natural resonantFrequency. [adapted from Wikipedia].") | Cars.kif 798-807 | |
(domain dampingRatio 1 PhysicalSystem) | Cars.kif 795-795 | |
(domain dampingRatio 2 RealNumber) | Cars.kif 796-796 | |
(instance dampingRatio BinaryPredicate) | Cars.kif 794-794 |
appearance as argument number 2 |
(format EnglishLanguage dampingRatio "the damping ratio of %1 is %n %2") | Cars.kif 797-797 | |
(relatedInternalConcept resonantFrequency dampingRatio) | Cars.kif 834-834 | |
(termFormat EnglishLanguage dampingRatio "damping ratio") | domainEnglishFormat.kif 65805-65805 |
antecedent |
(=> (and (dampingRatio ?P ?R) (greaterThan ?R 0) (instance ?T Tremor) (patient ?T ?P) (instance ?U UnitOfLength) (holdsDuring ?T1 (physicalAmplitude ?T (MeasureFn ?A1 ?U))) (holdsDuring ?T2 (physicalAmplitude ?T (MeasureFn ?A2 ?U))) (during ?T1 ?T) (during ?T2 ?T) (earlier ?T1 ?T2)) (greaterThan ?A1 ?A2)) |
Cars.kif 809-825 | |
(=> (and (instance ?A1 Automobile) (instance ?A2 Automobile) (instance ?S1 AutomobileShock) (part ?S1 ?A1) (not (exists (?S2) (and (instance ?S2 AutomobileShock) (part ?S2 ?A2)))) (dampingRatio ?A1 ?R1) (dampingRatio ?A2 ?R2)) (greaterThan ?R2 ?R1)) |
Cars.kif 853-866 |