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

appearance as argument number 2

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

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 physical amplitude 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 process is an instance of tremor and the physical system is a patient of the process and an entity is an instance of unit of length and the amplitude the process is another real number the entity(s) holds during the process1 and the amplitude the process is a third real number the entity(s) holds during the process2 and the process1 takes place during the time of existence of the process and the process2 takes place during the time of existence of the process and the process1 happens earlier than the process2, then the other real number is greater than the third real number
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 unit of length and the amplitude the other process is a real number the entity(s) holds during the time of existence of the process and the amplitude the other process is another real number the entity(s) holds during immediately after the process, then the real number is greater than the other real number