TreeView Knowledge Base Browser

antecedent

(=>
    (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))))

If X is an instance of middle CI button, X is a component of Y, and Y is an instance of computer input device, then All of the following hold: (1) there exist Z (2) W such that W is an instance of right CI button (3) Z is an instance of left CI button (4) W is a component of Y (5) Z is a component of Y (6) X is between Z (7) W (8) X is left of to Z (9) X is right of to W

consequent

(=>
    (instance ?ACT MiddleClicking)
    (exists (?M_BUTTON)
        (and
            (patient ?ACT ?M_BUTTON)
            (instance ?M_BUTTON MiddleCIButton))))

If X is an instance of middle clicking, then there exists ?M_BUTTON such that ?M_BUTTON is a patient of X and ?M_BUTTON is an instance of middle CI button

(subclass MiddleCIButton ComputerInputButton)	ComputerInput.kif 231-231	Middle CI button is a subclass of computer input button
(disjoint MiddleCIButton LeftCIButton)	ComputerInput.kif 235-235	Middle CI button is disjoint from left CI button

(disjoint RightCIButton MiddleCIButton)	ComputerInput.kif 234-234	Right CI button is disjoint from middle CI button
(disjoint ComputerKeyboardKey MiddleCIButton)	ComputerInput.kif 258-258	Computer keyboard key is disjoint from middle CI button
(termFormat EnglishLanguage MiddleCIButton "middle CI button")	domainEnglishFormat.kif 65170-65170	Computer keyboard key is disjoint from middle CI button