Tremor - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15071-15072
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15070-15070	Tremor is a subclass of rotating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2264-2264	Earth tremor is a subclass of tremor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17793-17793	Trembling is a subclass of tremor
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59049-59049
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59048-59048
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59047-59047

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Cars.kif 731-731

The number 1 argument of physicalAmplitude is an instance of tremor

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 803-816	If the damping ratio of a physical system is a real number and the real number is greater than 0 and a time interval is an instance of tremor and the physical system is a patient of the time interval and the amplitude the time interval is a quantity holds during the time interval1 and the amplitude the time interval is another quantity holds during the time interval2 and the time interval1 takes place during the time interval and the time interval2 takes place during the time interval and the time interval1 happens earlier than the time interval2, then the quantity is greater than the other quantity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 774-786	If a process is an instance of motion and another process is an instance of tremor and an object is an instance of damper and another object is a patient of the other process and the object is a part of the other object and the process causes the other process and the amplitude the other process is a quantity holds during the time of existence of the process and the amplitude the other process is another quantity holds during immediately after the process, then the quantity is greater than the other quantity