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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DirectionChange
DirectionChange

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 11322-11323
(documentation DirectionChange JapaneseLanguage "patient の行為が向いている方向を変える 行為。") japanese_format.kif 1793-1794
(externalImage DirectionChange "http://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ Sanas.jpg") pictureList.kif 9984-9984
(externalImage DirectionChange "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7f/ Znak_C8.png") pictureList.kif 10865-10865
(externalImage DirectionChange "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Aranho_U-turn_icon.png") pictureList.kif 10864-10864
(subclass DirectionChange Motion) Merge.kif 11320-11320

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


(termFormat ChineseLanguage DirectionChange "方向改变") chinese_format.kif 1118-1118
(termFormat EnglishLanguage DirectionChange "direction change") english_format.kif 1453-1453
(termFormat FrenchLanguage DirectionChange "changement de direction") french_format.kif 796-796
(termFormat Hindi DirectionChange "dishaa parivartana") terms-hindi.txt 328-328
(termFormat ItalianLanguage DirectionChange "CambioDiDirezione") terms-it.txt 331-331
(termFormat JapaneseLanguage DirectionChange "方向変更") japanese_format.kif 2480-2480
(termFormat PortugueseLanguage DirectionChange "Mudanca de Direcao") portuguese_format.kif 748-748
(termFormat cb DirectionChange "panudlong pag-usab") terms-cb.txt 333-333
(termFormat cz DirectionChange "direction change") terms-cz.txt 367-367
(termFormat ro DirectionChange "schimbare de direcþie") relations-ro.kif 817-817
(termFormat tg DirectionChange "pagpa;it ng direksiyon") terms-tg.txt 332-332

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 11325-11336

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


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


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