TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16876-16877
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16875-16875	Tremor is a subclass of rotating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2322-2322	Earth tremor is a subclass of tremor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19305-19305	Trembling is a subclass of tremor
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59129-59129
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59128-59128
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59127-59127

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 another real number the entity(s) holds during the time interval1 and the amplitude the time interval is a third real number 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 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 UnitOfLength 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