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 | RightCIButton 是 ComputerInputButton 的 subclass |
appearance as argument number 2 |
(disjoint ComputerKeyboardKey RightCIButton) | ComputerInput.kif 241-241 | ComputerKeyboardKey 和 % 2 是 disjoint |
(termFormat EnglishLanguage RightCIButton "right CI button") | domainEnglishFormat.kif 65418-65418 |
consequent |