| Accelerating | |
| appearance as argument number 1 |
|
|
| (documentation Accelerating EnglishLanguage "Increasing the speed with which someone or something is moving.") | Mid-level-ontology.kif 18527-18528 | |
| (subclass Accelerating Increasing) | Mid-level-ontology.kif 18526-18526 | |
| (subclass Accelerating Translocation) | Mid-level-ontology.kif 18525-18525 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Accelerating "加速") | domainEnglishFormat.kif 5217-5217 | |
| (termFormat ChineseTraditionalLanguage Accelerating "加速") | domainEnglishFormat.kif 5216-5216 | |
| (termFormat EnglishLanguage Accelerating "accelerating") | domainEnglishFormat.kif 5215-5215 |
| antecedent |
|
|
| (=> (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 18580-18590 | |
| (=> (and (instance ?ACCELERATE Accelerating) (agent ?ACCELERATE ?AGENT)) (exists (?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2) (and (holdsDuring (BeginFn (WhenFn ?ACCELERATE)) (measure ?AGENT (SpeedFn (MeasureFn ?LENGTH1 ?U1) (MeasureFn ?TIME1 ?U2)))) (holdsDuring (EndFn (WhenFn ?ACCELERATE)) (measure ?AGENT (SpeedFn (MeasureFn ?LENGTH2 ?U1) (MeasureFn ?TIME2 ?U2)))) (or (greaterThan ?LENGTH2 ?LENGTH1) (greaterThan ?TIME2 ?TIME1))))) |
Mid-level-ontology.kif 18530-18551 |
|
|
|