| Tremor | |
| appearance as argument number 1 |
|
|
| (documentation Tremor EnglishLanguage "Motion that involves rapidly Rotating between two positions.") | Mid-level-ontology.kif 16876-16877 | |
| (subclass Tremor Rotating) | Mid-level-ontology.kif 16875-16875 |
| appearance as argument number 2 |
|
|
| (subclass EarthTremor Tremor) | Geography.kif 2322-2322 | |
| (subclass Trembling Tremor) | Mid-level-ontology.kif 19305-19305 | |
| (termFormat ChineseLanguage Tremor "震") | domainEnglishFormat.kif 59129-59129 | |
| (termFormat ChineseTraditionalLanguage Tremor "震") | domainEnglishFormat.kif 59128-59128 | |
| (termFormat EnglishLanguage Tremor "tremor") | domainEnglishFormat.kif 59127-59127 |
| appearance as argument number 3 |
|
|
| (domain physicalAmplitude 1 Tremor) | Cars.kif 731-731 |
| antecedent |
|
|
| (=> (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 ?T) (during ?T2 ?T) (earlier ?T1 ?T2)) (greaterThan ?A1 ?A2)) |
Cars.kif 809-825 | |
| (=> (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 ?E) (physicalAmplitude ?T (MeasureFn ?A2 ?U)))) (greaterThan ?A1 ?A2)) |
Cars.kif 777-792 |
|
|
|