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



KB Term:  Term intersection
English Word: 

  MouseButton

Sigma KEE - MouseButton
MouseButton(mouse button)mouse_button

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


(subclass MouseButton ComputerInputButton) ComputerInput.kif 192-192 Mouse button is a subclass of computer input button
(documentation MouseButton EnglishLanguage "A ComputerInputButton on a ComputerMouse.") ComputerInput.kif 193-193 Mouse button is a subclass of computer input button
(typicalPart MouseButton ComputerMouse) ComputerInput.kif 417-417 A mouse button is typically a part of a computer mouse

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


(disjoint ComputerKeyboardKey MouseButton) ComputerInput.kif 260-260 Computer keyboard key is disjoint from mouse button
(partTypes ComputerMouse MouseButton) ComputerInput.kif 416-416 Every computer mouse is a part of a mouse button
(termFormat EnglishLanguage MouseButton "mouse button") domainEnglishFormat.kif 65203-65203 Every computer mouse is a part of a mouse button


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners