Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| dampingRatio |
| appearance as argument number 1 |
|
| (instance dampingRatio BinaryPredicate) | Cars.kif 733-733 | damping ratio is an instance of binary predicate |
| (domain dampingRatio 1 PhysicalSystem) | Cars.kif 734-734 | The number 1 argument of damping ratio is an instance of physical system |
| (domain dampingRatio 2 RealNumber) | Cars.kif 735-735 | The number 2 argument of damping ratio is an instance of real number |
| (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 737-746 | The number 2 argument of damping ratio is an instance of real number |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage dampingRatio "the damping ratio of %1 is %n %2") | Cars.kif 736-736 | |
| (relatedInternalConcept resonantFrequency dampingRatio) | Cars.kif 773-773 | resonant frequency is internally related to damping ratio |
| (termFormat EnglishLanguage dampingRatio "damping ratio") | domainEnglishFormat.kif 65812-65812 | resonant frequency is internally related to damping ratio |
| 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 (WhenFn ?T)) (during ?T2 (WhenFn ?T)) (earlier ?T1 ?T2)) (greaterThan ?A1 ?A2)) |
Cars.kif 748-764 | If All of the following hold: (1) the damping ratio of X is Y (2) Y is greater than 0 (3) Z is an instance of tremor (4) X is a patient of Z (5) W is an instance of unit of length (6) the amplitude Z is V W(s) holds during U (7) the amplitude Z is T W(s) holds during S (8) U takes place during the time of existence of Z (9) S takes place during the time of existence of Z (10) U happens earlier than S, then V is greater than T |
| (=> (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 790-803 | If All of the following hold: (1) X is an instance of automobile (2) Y is an instance of automobile (3) Z is an instance of shock (4) Z is a part of X (5) there doesn't exist W such that W is an instance of shock and W is a part of Y (6) the damping ratio of X is V (7) the damping ratio of Y is U, then U is greater than V |
|