Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 11555-11555 | 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 11557-11558 | 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 1457-1457 |
| 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 11560-11571 | 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 4020-4022 | 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 5410-5425 | 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 |
|