dampingRatio - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - dampingRatio

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	The number 1 argument of damping ratio is an instance of physical system
(domain dampingRatio 2 RealNumber)	Cars.kif 796-796	The number 2 argument of damping ratio is an instance of real number
(instance dampingRatio BinaryPredicate)	Cars.kif 794-794	damping ratio is an instance of binary predicate

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	resonant frequency is internally related to damping ratio
(termFormat EnglishLanguage dampingRatio "damping ratio")	domainEnglishFormat.kif 65832-65832	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 809-825	If the damping ratio of a physical system is a real number and the real number is greater than 0 and a process is an instance of tremor and the physical system is a patient of the process and an entity is an instance of unit of length and the amplitude the process is another real number the entity(s) holds during the process1 and the amplitude the process is a third real number the entity(s) holds during the process2 and the process1 takes place during the time of existence of the process and the process2 takes place during the time of existence of the process and the process1 happens earlier than the process2, then the other real number is greater than the third real number
(=> (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	If a physical system is an instance of automobile and another physical system is an instance of automobile and an object is an instance of shock and the object is a part of the physical system and there doesn't exist another object such that the other object is an instance of shock and the other object is a part of the other physical system and the damping ratio of the physical system is a real number and the damping ratio of the other physical system is another real number, then the other real number is greater than the real number

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners