Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 Le nombre 1 argument de dampingRatio est une instance de PhysicalSystem
(domain dampingRatio 2 RealNumber) Cars.kif 796-796 Le nombre 2 argument de dampingRatio est une instance de nombre r�el
(instance dampingRatio BinaryPredicate) Cars.kif 794-794 dampingRatio est une instance de pr�dicat binaire

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 resonantFrequency est reli� � l'int�rieur de SUMO � dampingRatio
(termFormat EnglishLanguage dampingRatio "damping ratio") domainEnglishFormat.kif 65803-65803


        (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
        (instance ?A1 Automobile)
        (instance ?A2 Automobile)
        (instance ?S1 AutomobileShock)
        (part ?S1 ?A1)
            (exists (?S2)
                    (instance ?S2 AutomobileShock)
                    (part ?S2 ?A2))))
        (dampingRatio ?A1 ?R1)
        (dampingRatio ?A2 ?R2))
    (greaterThan ?R2 ?R1))
Cars.kif 853-866

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

Show without tree

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