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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DirectionChange

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

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 11279-11290

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


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


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

Show without tree


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