TreeView Knowledge Base Browser - ComputerKeyboard_Generic

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

ComputerKeyboard_Generic

Sigma KEE - ComputerKeyboard_Generic

ComputerKeyboard_Generic

appearance as argument number 1

(documentation ComputerKeyboard_Generic EnglishLanguage "A ComputerInputDevice for accepting typed input. This could be a keyboard with a typewriter layout, a cell phone keypad or any other similar device. It could be a keyboard displayed upon a ComputerScreen or be a physical Keyboard.")	ComputerInput.kif 165-168
(subclass ComputerKeyboard_Generic ComputerInputDevice)	ComputerInput.kif 164-164	ComputerKeyboard_Generic is a subclass of computer input device

appearance as argument number 2

(disjoint ScrollWheel ComputerKeyboard_Generic)	ComputerInput.kif 410-410	ScrollWheel is disjoint from ComputerKeyboard_Generic
(subclass ComputerKeyboard ComputerKeyboard_Generic)	ComputerInput.kif 369-369	ComputerKeyboard is a subclass of ComputerKeyboard_Generic
(subclass ComputerKeypad ComputerKeyboard_Generic)	ComputerInput.kif 377-377	ComputerKeypad is a subclass of ComputerKeyboard_Generic
(subclass ComputerTouchscreenKeyboard ComputerKeyboard_Generic)	ComputerInput.kif 449-449	ComputerTouchscreenKeyboard is a subclass of ComputerKeyboard_Generic
(typicalPart ComputerKeyboardKey ComputerKeyboard_Generic)	ComputerInput.kif 247-247	A ComputerKeyboardKey is typically a part of a ComputerKeyboard_Generic

antecedent

(=> (and (instance ?KEY ComputerKeyboardKey) (instance ?KEYBOARD1 ComputerKeyboard_Generic) (component ?KEY ?KEYBOARD1) (instance ?KEYBOARD2 ComputerKeyboard_Generic) (component ?KEY ?KEYBOARD2)) (equal ?KEYBOARD1 ?KEYBOARD2))	ComputerInput.kif 251-258	If a corpuscular object is an instance of ComputerKeyboardKey and the corpuscular objectBOARD1 is an instance of ComputerKeyboard_Generic and the corpuscular object is a component of the corpuscular objectBOARD1 and the corpuscular objectBOARD2 is an instance of ComputerKeyboard_Generic and the corpuscular object is a component of the corpuscular objectBOARD2, then the corpuscular objectBOARD1 is equal to the corpuscular objectBOARD2
(=> (instance ?KEYBOARD ComputerKeyboard_Generic) (exists (?KEY) (and (instance ?KEY ComputerKeyboardKey) (component ?KEY ?KEYBOARD))))	ComputerInput.kif 262-267	If a corpuscular object is an instance of ComputerKeyboard_Generic, then there exists another corpuscular object such that the other corpuscular object is an instance of ComputerKeyboardKey and the other corpuscular object is a component of the corpuscular object

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 is open source software produced by Articulate Software and its partners