Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Accelerating
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Accelerating Translocation) | Mid-level-ontology.kif 18756-18756 | Accelerating is a subclass of translocation |
| (subclass Accelerating Increasing) | Mid-level-ontology.kif 18757-18757 | Accelerating is a subclass of increasing |
| (documentation Accelerating EnglishLanguage "Increasing the speed with which someone or something is moving.") | Mid-level-ontology.kif 18758-18759 | 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 18761-18782 | 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 18811-18821 | 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 |
|