Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Decelerating
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Decelerating Translocation) | Mid-level-ontology.kif 18784-18784 | Decelerating is a subclass of translocation |
| (subclass Decelerating Decreasing) | Mid-level-ontology.kif 18785-18785 | Decelerating is a subclass of decreasing |
| (documentation Decelerating EnglishLanguage "Decreasing the speed with which someone or something is moving.") | Mid-level-ontology.kif 18786-18787 | Decelerating is a subclass of decreasing |
| appearance as argument number 2 |
|
|
| 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 18789-18809 | If X is an instance of decelerating 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 Z is greater than W or V is greater than U |
| (=> (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 1231-1246 | If All of the following hold: (1) X is an instance of transportation (2) Y is an instance of wheel (3) Z is an instance of automobile (4) Y is a part of Z (5) Z is an instrument for X (6) W is an instance of antilock brake (7) V is an instance of decelerating (8) W is an instrument for V (9) W is a part of Y, then W has the purpose there exists U such that U is an instance of rotating and U takes place during V |
| consequent |
|
|
| (=> (instance ?B Brake) (hasPurpose ?B (exists (?D) (and (instance ?D Decelerating) (instrument ?D ?B))))) |
Mid-level-ontology.kif 4030-4036 | If X is an instance of brake, then X has the purpose there exists Y such that Y is an instance of decelerating and X is an instrument for Y |
| (=> (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 |
| (=> (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 3543-3572 | If X is an instance of seat belt, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of vehicle (3) X is a part of W (4) Y is an instance of human (5) W contains Y (6) Z is an instance of process (7) Z prevents the occurrence of the class described by V |
|