Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DirectionChange
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
-------------------------


(documentation DirectionChange ChineseLanguage "这是当定向的 patient 在定位时改变方向的行为。") chinese_format.kif 3028-3028
(documentation DirectionChange EnglishLanguage "The act of changing the direction in which the patient of the act is oriented.") Merge.kif 10552-10553
(externalImage DirectionChange "http://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ Sanas.jpg") pictureList.kif 10003-10003
(externalImage DirectionChange "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7f/ Znak_C8.png") pictureList.kif 10887-10887
(externalImage DirectionChange "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Aranho_U-turn_icon.png") pictureList.kif 10886-10886
(subclass DirectionChange Motion) Merge.kif 10550-10550 Direction change is a subclass of motion

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage DirectionChange "方向改变") chinese_format.kif 1118-1118
(termFormat EnglishLanguage DirectionChange "direction change") english_format.kif 1458-1458

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 10555-10566

consequent
-------------------------


(=>
    (instance ?W SteeringWheel)
    (capability DirectionChange instrument ?W))
Mid-level-ontology.kif 3947-3949


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners