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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Left
Left(left)
dexter, larboard, left, left-hand, left_stage, near, nigh, port, sinister, sinistral, sinistrorsal, sinistrorse, stage_left

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


(documentation Left ChineseLanguage "这是一个由左/右模式所衍生的 PositionalAttribute。注:这是 指直接在左边,也就是说如果一个物体在另外一个物体的左边的话,那么这两个物体的投影就会交叠。") chinese_format.kif 3824-3825
(documentation Left EnglishLanguage "This PositionalAttribute is derived from the left/ right schema. Note that this means directly to the left, so that, if one object is to the left of another, then the projections of the two objects overlap.") Merge.kif 15900-15903
(externalImage Left "http://upload.wikimedia.org/wikipedia/en/3/30/XYZ_model.jpg") pictureList.kif 10114-10114
(instance Left AntiSymmetricPositionalAttribute) Merge.kif 15899-15899 Left is an instance of AntiSymmetricPositionalAttribute
(instance Left PositionalAttribute) Merge.kif 15898-15898 Left is an instance of positional attribute

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


(contraryAttribute Right Left) Merge.kif 15907-15907 Right is the opposite of left
(termFormat ChineseLanguage Left "左") domainEnglishFormat.kif 33655-33655
(termFormat ChineseTraditionalLanguage Left "左") domainEnglishFormat.kif 33654-33654
(termFormat EnglishLanguage Left "left") domainEnglishFormat.kif 33653-33653

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))
Merge.kif 15913-15915 An object is right to another object if and only if the other object is left to the object
(=>
    (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 246-259
(=>
    (and
        (instance ?RIGHT PhysicalRightCIButton)
        (component ?RIGHT ?DEV)
        (instance ?DEV ComputerInputDevice))
    (exists (?LEFT)
        (and
            (instance ?LEFT PhysicalLeftCIButton)
            (component ?LEFT ?DEV)
            (orientation ?RIGHT ?LEFT Left))))
ComputerInput.kif 226-235


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners