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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RightCIButton

Sigma KEE - RightCIButton
RightCIButton

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


(disjoint RightCIButton LeftCIButton) ComputerInput.kif 202-202 RightCIButton 和 % 2 是 disjoint
(disjoint RightCIButton MiddleCIButton) ComputerInput.kif 218-218 RightCIButton 和 % 2 是 disjoint
(documentation RightCIButton EnglishLanguage "A ComputerInputButton in the middle of a row of three ComputerInputButtons.") ComputerInput.kif 216-217
(documentation RightCIButton EnglishLanguage "A ComputerInputButton logically on the right side of a set of ComputerInputButtons. Normally, the PhysicalRightCIButton. A computer system may be told to logically switch the right and left buttons (e.g., for a person who uses a mouse in the left hand -- in such a case, the RightCIButton is the leftmost physical button.") ComputerInput.kif 192-195
(subclass RightCIButton ComputerInputButton) ComputerInput.kif 191-191 RightCIButtonComputerInputButtonsubclass

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


(disjoint ComputerKeyboardKey RightCIButton) ComputerInput.kif 241-241 ComputerKeyboardKey 和 % 2 是 disjoint
(termFormat EnglishLanguage RightCIButton "right CI button") domainEnglishFormat.kif 65416-65416

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
(=>
    (instance ?ACT RightClicking)
    (exists (?R_BUTTON)
        (and
            (patient ?ACT ?R_BUTTON)
            (instance ?R_BUTTON RightCIButton))))
ComputerInput.kif 1462-1467


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