| Decelerating | |
| appearance as argument number 1 |
|
|
| (documentation Decelerating EnglishLanguage "Decreasing the speed with which someone or something is moving.") | Mid-level-ontology.kif 18575-18576 | |
| (subclass Decelerating Decreasing) | Mid-level-ontology.kif 18574-18574 | |
| (subclass Decelerating Translocation) | Mid-level-ontology.kif 18573-18573 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Decelerating "减速") | domainEnglishFormat.kif 18825-18825 | |
| (termFormat ChineseTraditionalLanguage Decelerating "減速") | domainEnglishFormat.kif 18824-18824 | |
| (termFormat EnglishLanguage Decelerating "decelerating") | domainEnglishFormat.kif 18823-18823 |
| antecedent |
|
|
| (=> (and (instance ?D Decelerating) (agent ?D ?A)) (exists (?L1 ?L2 ?T1 ?T2 ?U1 ?U2) (and (holdsDuring (BeginFn (WhenFn ?D)) (measure ?A (SpeedFn (MeasureFn ?L1 ?U1) (MeasureFn ?T1 ?U2)))) (holdsDuring (EndFn (WhenFn ?D)) (measure ?A (SpeedFn (MeasureFn ?L2 ?U1) (MeasureFn ?T2 ?U2)))) (or (greaterThan ?L1 ?L2) (greaterThan ?T1 ?T2))))) |
Mid-level-ontology.kif 18578-18598 | |
| (=> (and (instance ?T Transportation) (instance ?W Wheel) (instance ?A Automobile) (part ?W ?A) (instrument ?T ?A) (instance ?AB AntilockBrake) (instance ?D Decelerating) (instrument ?D ?AB) (part ?AB ?W)) (hasPurpose ?AB (exists (?R) (and (instance ?R Rotating) (during ?R ?D))))) |
Cars.kif 1292-1307 |
| consequent |
|
|
| (=> (and (instance ?A Accelerating) (equal ?T (WhenFn ?A)) (experiencer ?A ?E)) (not (exists (?D) (and (instance ?D Decelerating) (experiencer ?D ?E) (equal ?T (WhenFn ?D)))))) |
Mid-level-ontology.kif 18600-18610 | |
| (=> (instance ?B Brake) (hasPurpose ?B (exists (?D) (and (instance ?D Decelerating) (instrument ?D ?B))))) |
Cars.kif 544-550 | |
| (=> (instance ?X SeatBelt) (hasPurpose ?X (exists (?PERSON ?STOP ?VEHICLE ?M) (and (instance ?VEHICLE Vehicle) (part ?X ?VEHICLE) (instance ?PERSON Human) (contains ?VEHICLE ?PERSON) (instance ?STOP Process) (prevents ?STOP (KappaFn ?M (and (instance ?M Translocation) (patient ?M ?PERSON) (exists (?COLLISION) (and (or (instance ?COLLISION Decelerating) (instance ?COLLISION Impacting)) (experiencer ?COLLISION ?VEHICLE) (causes ?COLLISION ?M))) (modalAttribute (exists (?INJ ?IMP) (and (instance ?INJ Injuring) (instance ?IMP Impacting) (causes ?M ?INJ) (patient ?INJ ?PERSON) (subProcess ?IMP ?INJ))) Possibility)))))))) |
Cars.kif 3736-3765 |
|
|
|