| Accelerating(accelerating) | | accelerate, quicken, speed, speed_up |
| appearance as argument number 1 |
|
|
| (subclass Accelerating Translocation) | Mid-level-ontology.kif 18705-18705 | Accelerating is a subclass of translocation |
| (subclass Accelerating Increasing) | Mid-level-ontology.kif 18706-18706 | Accelerating is a subclass of increasing |
| (documentation Accelerating EnglishLanguage "Increasing the speed with which someone or something is moving.") | Mid-level-ontology.kif 18707-18708 | Accelerating is a subclass of increasing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 18710-18731 | If X is an instance of accelerating and Y is an agent of X, then there exist Z, W,, , V,, , U,, , T and S such that the measure of Y is Z T(s) per V S(s) holds during the beginning of the time of existence of X and the measure of Y is W T(s) per U S(s) holds during the end of the time of existence of X and W is greater than Z or U is greater than V |
| (=> (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 18760-18770 | If X is an instance of accelerating, equal Y and the time of existence of X, and Z experiences X, then there doesn't exist W such that W is an instance of decelerating, Z experiences W, equal Y, and the time of existence of W |
|
|
|