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 11144-11145
(externalImage DirectionChange "http://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ Sanas.jpg") pictureList.kif 9993-9993
(externalImage DirectionChange "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7f/ Znak_C8.png") pictureList.kif 10876-10876
(externalImage DirectionChange "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Aranho_U-turn_icon.png") pictureList.kif 10875-10875
(subclass DirectionChange Motion) Merge.kif 11142-11142 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 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 11147-11158

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


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


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