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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Right

Sigma KEE - Right
Right(right)dextral, dextrorsal, dextrorse, far, right, right-hand, right-side-out, right-side-up, right_stage, stage_right, starboard

appearance as argument number 1
-------------------------


(contraryAttribute Right Left) Merge.kif 16972-16972 Right is the opposite of left
(documentation Right ChineseLanguage "这是一个由左/右模式所衍生的 PositionalAttribute。注: 这是指直接在右边,也就是说如果一个物体在另外一个物体的右边的话,那么这两个物体的投影就会交叠。") chinese_format.kif 3826-3827
(documentation Right EnglishLanguage "This PositionalAttribute is derived from the left/ right schema. Note that this means directly to the right, so that, if one object is to the right of another, then the projections of the two objects overlap.") Merge.kif 16973-16976
(instance Right AntiSymmetricPositionalAttribute) Merge.kif 16971-16971 Right is an instance of anti-symmetric positional attribute
(instance Right PositionalAttribute) Merge.kif 16970-16970 Right is an instance of positional attribute

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


(termFormat ChineseLanguage Right "右") domainEnglishFormat.kif 49996-49996
(termFormat ChineseTraditionalLanguage Right "右") domainEnglishFormat.kif 49995-49995
(termFormat EnglishLanguage Right "right") domainEnglishFormat.kif 49994-49994

antecedent
-------------------------


(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))
Merge.kif 16978-16980 An object is right to another object if and only if the other object is left to the object
(=>
    (and
        (orientation ?X ?Y Right)
        (orientation ?Z ?Y Left))
    (orientation ?X ?Z Right))
Merge.kif 16784-16788

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


(=>
    (and
        (instance ?MID MiddleCIButton)
        (component ?MID ?DEV)
        (instance ?DEV ComputerInputDevice))
    (exists (?LEFT ?RIGHT)
        (and
            (instance ?RIGHT RightCIButton)
            (instance ?LEFT LeftCIButton)
            (component ?RIGHT ?DEV)
            (component ?LEFT ?DEV)
            (between ?LEFT ?MID ?RIGHT)
            (orientation ?MID ?LEFT Left)
            (orientation ?MID ?RIGHT Right))))
ComputerInput.kif 224-237
(=>
    (and
        (orientation ?X ?Y Right)
        (orientation ?Z ?Y Left))
    (orientation ?X ?Z Right))
Merge.kif 16784-16788


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