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 15046-15047
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15045-15045	Tremor is a subclass of rotating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2285-2285	Earth tremor is a subclass of tremor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17771-17771	Trembling is a subclass of tremor
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59146-59146
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59145-59145
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59144-59144

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 809-825	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 an entity is an instance of UnitOfLength and the amplitude the time interval is a quantity the entity(s) holds during the time interval1 and the amplitude the time interval is another quantity the entity(s) 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 777-792	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 an entity is an instance of UnitOfLength and the amplitude the other process is a quantity the entity(s) holds during the time of existence of the process and the amplitude the other process is another quantity the entity(s) holds during immediately after the process, then the quantity is greater than the other quantity