MouseButton |
appearance as argument number 1 |
(documentation MouseButton EnglishLanguage "A ComputerInputButton on a ComputerMouse.") | ComputerInput.kif 177-177 | |
(subclass MouseButton ComputerInputButton) | ComputerInput.kif 176-176 | MouseButton 是 ComputerInputButton 的 subclass |
(typicalPart MouseButton ComputerMouse) | ComputerInput.kif 401-401 | MouseButton typically 是 ComputerMouse 的 part |
appearance as argument number 2 |
(disjoint ComputerKeyboardKey MouseButton) | ComputerInput.kif 244-244 | ComputerKeyboardKey 和 % 2 是 disjoint |
(partTypes ComputerMouse MouseButton) | ComputerInput.kif 400-400 | 每个 ComputerMouse 是 MouseButton 的 part |
(termFormat EnglishLanguage MouseButton "mouse button") | domainEnglishFormat.kif 65200-65200 |