Damper - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Damper Device)	Cars.kif 707-707	Damper is a subclass of device
(documentation Damper EnglishLanguage "A Device designed to lessen or to remove a Tremor from a PhysicalSystem. Examples include a car's air shocks, or rubber and fluid_filled foundation mounts for buildings in earthquake_prone areas.")	Cars.kif 709-711	Damper is a subclass of device
(externalImage Damper "http://upload.wikimedia.org/wikipedia/commons/2/2b/ Damped_spring.gif")	Cars.kif 712-712	Damper is a subclass of device

appearance as argument number 2

(termFormat EnglishLanguage Damper "damper")	Cars.kif 708-708
(subclass AutomobileShock Damper)	Cars.kif 775-775	Shock is a subclass of damper

antecedent

(=>
    (and
        (instance ?E Motion)
        (instance ?T Tremor)
        (instance ?D Damper)
        (patient ?T ?O)
        (part ?D ?O)
        (causes ?E ?T)
        (instance ?U UnitOfLength)
        (holdsDuring
            (WhenFn ?E)
            (physicalAmplitude ?T
                (MeasureFn ?A1 ?U)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?E))
            (physicalAmplitude ?T
                (MeasureFn ?A2 ?U))))
    (greaterThan ?A1 ?A2))

If All of the following hold: (1) X is an instance of motion (2) Y is an instance of tremor (3) Z is an instance of damper (4) W is a patient of Y (5) Z is a part of W (6) X causes Y (7) V is an instance of unit of length (8) the amplitude Y is U V(s) holds during the time of existence of X (9) the amplitude Y is T V(s) holds during immediately after the time of existence of X, then U is greater than T