|
|
   Tremor
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Tremor EnglishLanguage "Motion that involves rapidly Rotating between two positions.") | Mid-level-ontology.kif 16896-16897 | |
| (subclass Tremor Rotating) | Mid-level-ontology.kif 16895-16895 |
| appearance as argument number 2 |
|
|
| (subclass EarthTremor Tremor) | Geography.kif 2322-2322 | |
| (subclass Trembling Tremor) | Mid-level-ontology.kif 19325-19325 | |
| (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 |
|
|
|