| DirectionChange(direction change)
| | about-face, about_turn, avert, axial_motion, axial_rotation, bend, bowl_over, break, caracole, carom, change_of_course, change_of_direction, clockwise_rotation, coming_back, corner, counterclockwise_rotation, curve, cut, deflect, deflection, deflexion, deviation, dextrorotation, digression, divagation, diversion, face, flip, flip_over, gee, gyration, knock_over, left, levorotation, move_around, orbital_motion, orbital_rotation, overturn, port, reorient, reorientation, return, reversal, reverse, reversion, revolution, ricochet, right, roll, rotation... |
| appearance as argument number 1 |
|
|
| (subclass DirectionChange Motion) | Merge.kif 11444-11444 | Direction change is a subclass of motion |
| (documentation DirectionChange EnglishLanguage "The act of changing the direction in which the patient of the act is oriented.") | Merge.kif 11446-11447 | Direction change is a subclass of motion |
| (externalImage DirectionChange "http://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ Sanas.jpg") | pictureList.kif 9984-9984 | Direction change is a subclass of motion |
| (externalImage DirectionChange "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Aranho_U_turn_icon.png") | pictureList.kif 10863-10863 | Direction change is a subclass of motion |
| (externalImage DirectionChange "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7f/ Znak_C8.png") | pictureList.kif 10864-10864 | Direction change is a subclass of motion |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DirectionChange "direction change") | english_format.kif 1453-1453 |
| antecedent |
|
|
| (=> (instance ?PROC DirectionChange) (exists (?ATTR) (and (instance ?ATTR DirectionalAttribute) (or (and (holdsDuring (BeginFn (WhenFn ?PROC)) (manner ?PROC ?ATTR)) (holdsDuring (EndFn (WhenFn ?PROC)) (not (manner ?PROC ?ATTR)))) (and (holdsDuring (EndFn (WhenFn ?PROC)) (manner ?PROC ?ATTR)) (holdsDuring (BeginFn (WhenFn ?PROC)) (not (manner ?PROC ?ATTR)))))))) |
Merge.kif 11449-11460 | If X is an instance of direction change, then there exists Y such that Y is an instance of directional attribute and X is performed in the manner Y holds during the beginning of the time of existence of X and X is not performed in the manner Y holds during the end of the time of existence of X or X is performed in the manner Y holds during the end of the time of existence of X and X is not performed in the manner Y holds during the beginning of the time of existence of X |
| consequent |
|
|
| (=> (instance ?W SteeringWheel) (capability DirectionChange instrument ?W)) |
Mid-level-ontology.kif 3868-3870 | If X is an instance of steering wheel, then X is capable of doing direction change as a instrument |
| (=> (instance ?A PhasedArrayAntenna) (hasPurpose ?A (exists (?C ?R ?D) (and (instance ?C Collection) (member ?R ?C) (instance ?R RadioEmission) (instrument ?R ?A) (instance ?D DirectionChange) (patient ?D ?R) (not (exists (?M) (and (instance ?M DirectionChange) (patient ?M ?A)))))))) |
Transportation.kif 5371-5386 | If X is an instance of phased array attenna, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of collection (3) Z is a member of Y (4) Z is an instance of radio emission (5) X is an instrument for Z (6) W is an instance of direction change (7) Z is a patient of W (8) there doesn't exist V such that V is an instance of direction change (9) X is a patient of V |
|
|
|