(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 791800 

(domain dampingRatio 1 PhysicalSystem) 
Cars.kif 788788 
domain dampingRatio, 1 and PhysicalSystem 
(domain dampingRatio 2 RealNumber) 
Cars.kif 789789 
domain dampingRatio, 2 and RealNumber 
(instance dampingRatio BinaryPredicate) 
Cars.kif 787787 
instance dampingRatio and BinaryPredicate 