Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| physicalAmplitude |
| appearance as argument number 1 |
|
| (instance physicalAmplitude SpatialRelation) | Cars.kif 666-666 | physical amplitude is an instance of spatial relation |
| (instance physicalAmplitude BinaryPredicate) | Cars.kif 667-667 | physical amplitude is an instance of binary predicate |
| (domain physicalAmplitude 1 Tremor) | Cars.kif 668-668 | The number 1 argument of physical amplitude is an instance of tremor |
| (domain physicalAmplitude 2 LengthMeasure) | Cars.kif 669-669 | The number 2 argument of physical amplitude is an instance of length measure |
| (documentation physicalAmplitude EnglishLanguage "A relation between a periodic motion and the distance between the physical extremes of the period.") | Cars.kif 671-672 | The number 2 argument of physical amplitude is an instance of length measure |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage physicalAmplitude "the amplitude %1 is %n %2") | Cars.kif 670-670 | |
| (termFormat EnglishLanguage physicalAmplitude "physical amplitude") | domainEnglishFormat.kif 65922-65922 |
| antecedent |
|
|
| (=> (and (physicalAmplitude ?T ?L) (patient ?T ?O)) (exists (?P1 ?P2 ?T1 ?T2) (and (during ?T1 (WhenFn ?T)) (during ?T2 (WhenFn ?T)) (holdsDuring ?T1 (located ?O ?P1)) (holdsDuring ?T2 (located ?O ?P2)) (distance ?P1 ?P2 ?L)))) |
Cars.kif 674-686 | If the amplitude X is Y and Z is a patient of X, then All of the following hold: (1) there exist W, V,, , U (2) T such that U takes place during the time of existence of X (3) T takes place during the time of existence of X (4) Z is located at W holds during U (5) Z is located at V holds during T (6) the distance between W (7) V is Y |
| (=> (and (physicalAmplitude ?T (MeasureFn ?L ?U)) (instance ?U UnitOfLength) (patient ?T ?O)) (not (exists (?P1 ?P2 ?T1 ?T2 ?L2) (and (during ?T1 (WhenFn ?T)) (during ?T2 (WhenFn ?T)) (holdsDuring ?T1 (located ?O ?P1)) (holdsDuring ?T2 (located ?O ?P2)) (distance ?P1 ?P2 (MeasureFn ?L2 ?U)) (greaterThan ?L2 ?L))))) |
Cars.kif 688-705 | If the amplitude X is Y Z(s), Z is an instance of unit of length, and W is a patient of X, then there don't exist V, U,, , T,, , S and R such that T takes place during the time of existence of X and S takes place during the time of existence of X and W is located at V holds during T and W is located at U holds during S and the distance between V and U is R Z(s) and R is greater than Y |
| (=> (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 (WhenFn ?E)) (physicalAmplitude ?T (MeasureFn ?A2 ?U)))) (greaterThan ?A1 ?A2)) |
Cars.kif 714-731 | If All of the following hold: (1) X is an instance of motion (2) Y is an instance of tremor (3) Z is an instance of damper (4) W is a patient of Y (5) Z is a part of W (6) X causes Y (7) V is an instance of unit of length (8) the amplitude Y is U V(s) holds during the time of existence of X (9) the amplitude Y is T V(s) holds during immediately after the time of existence of X, then U is greater than T |
| (=> (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 (WhenFn ?T)) (during ?T2 (WhenFn ?T)) (earlier ?T1 ?T2)) (greaterThan ?A1 ?A2)) |
Cars.kif 748-764 | If All of the following hold: (1) the damping ratio of X is Y (2) Y is greater than 0 (3) Z is an instance of tremor (4) X is a patient of Z (5) W is an instance of unit of length (6) the amplitude Z is V W(s) holds during U (7) the amplitude Z is T W(s) holds during S (8) U takes place during the time of existence of Z (9) S takes place during the time of existence of Z (10) U happens earlier than S, then V is greater than T |
|