Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Tremor

 Sigma KEE - Tremor
Tremor(tremor)flicker, flitter, flutter, judder, quiver, shake, shaky, shivering, trembling, waver

appearance as argument number 1
-------------------------


(subclass Tremor Rotating) Mid-level-ontology.kif 19297-19297 Tremor is a subclass of rotating
(documentation Tremor EnglishLanguage "Motion that involves rapidly Rotating between two positions.") Mid-level-ontology.kif 19298-19299 Tremor is a subclass of rotating

appearance as argument number 2
-------------------------


(subclass Trembling Tremor) Mid-level-ontology.kif 22197-22197 Trembling is a subclass of tremor
(subclass EarthTremor Tremor) Geography.kif 3774-3774 Earth tremor is a subclass of tremor
(termFormat EnglishLanguage Tremor "tremor") domainEnglishFormat.kif 59137-59137 Earth tremor is a subclass of tremor
(termFormat ChineseTraditionalLanguage Tremor "震") domainEnglishFormat.kif 59138-59138 Earth tremor is a subclass of tremor
(termFormat ChineseLanguage Tremor "震") domainEnglishFormat.kif 59139-59139 Earth tremor is a subclass of tremor

appearance as argument number 3
-------------------------


(domain physicalAmplitude 1 Tremor) Cars.kif 668-668 The number 1 argument of physical amplitude is an instance of tremor

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))		 Cars.kif 714-731 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
(=>
    (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


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners