TreeView Knowledge Base Browser

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 240-253	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
(=> (instance ?ACT RightClicking) (exists (?R_BUTTON) (and (patient ?ACT ?R_BUTTON) (instance ?R_BUTTON RightCIButton))))	ComputerInput.kif 1478-1483	If X is an instance of right clicking, then there exists ?R_BUTTON such that ?R_BUTTON is a patient of X and ?R_BUTTON is an instance of right CI button

(subclass RightCIButton ComputerInputButton)	ComputerInput.kif 207-207	Right CI button is a subclass of computer input button
(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 208-211	Right CI button is a subclass of computer input button
(disjoint RightCIButton LeftCIButton)	ComputerInput.kif 218-218	Right CI button is disjoint from left CI button
(documentation RightCIButton EnglishLanguage "A ComputerInputButton in the middle of a row of three ComputerInputButtons.")	ComputerInput.kif 232-233	Right 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 RightCIButton)	ComputerInput.kif 257-257	Computer keyboard key is disjoint from right CI button
(termFormat EnglishLanguage RightCIButton "right CI button")	domainEnglishFormat.kif 65419-65419	Computer keyboard key is disjoint from right CI button