| Decelerating | |
| appearance as argument number 1 |
|
|
| (documentation Decelerating EnglishLanguage "Decreasing the speed with which someone or something is moving.") | Mid-level-ontology.kif 17386-17387 | |
| (subclass Decelerating Decreasing) | Mid-level-ontology.kif 17385-17385 | |
| (subclass Decelerating Translocation) | Mid-level-ontology.kif 17384-17384 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Decelerating "减速") | domainEnglishFormat.kif 18821-18821 | |
| (termFormat ChineseTraditionalLanguage Decelerating "減速") | domainEnglishFormat.kif 18820-18820 | |
| (termFormat EnglishLanguage Decelerating "decelerating") | domainEnglishFormat.kif 18819-18819 |
| 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 17389-17409 | |
| (=> (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 17411-17421 | |
| (=> (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 3735-3764 |
|
|
|