TreeView Knowledge Base Browser - ComputerKeyboardKey

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ComputerKeyboardKey

Sigma KEE - ComputerKeyboardKey

ComputerKeyboardKey

appearance as argument number 1

(disjoint ComputerKeyboardKey LeftCIButton)	ComputerInput.kif 243-243	ComputerKeyboardKey is disjoint from LeftCIButton
(disjoint ComputerKeyboardKey MiddleCIButton)	ComputerInput.kif 242-242	ComputerKeyboardKey is disjoint from MiddleCIButton
(disjoint ComputerKeyboardKey MouseButton)	ComputerInput.kif 244-244	ComputerKeyboardKey is disjoint from MouseButton
(disjoint ComputerKeyboardKey RightCIButton)	ComputerInput.kif 241-241	ComputerKeyboardKey is disjoint from RightCIButton
(disjoint ComputerKeyboardKey TouchpadKey)	ComputerInput.kif 367-367	ComputerKeyboardKey is disjoint from TouchpadKey
(documentation ComputerKeyboardKey EnglishLanguage "A ComputerInputButton on a ComputerKeyboard.")	ComputerInput.kif 240-240
(subclass ComputerKeyboardKey ComputerInputButton)	ComputerInput.kif 239-239	ComputerKeyboardKey is a subclass of ComputerInputButton
(typicalPart ComputerKeyboardKey ComputerKeyboard_Generic)	ComputerInput.kif 247-247	A ComputerKeyboardKey is typically a part of a ComputerKeyboard_Generic

appearance as argument number 2

(disjoint GUIButton ComputerKeyboardKey)	ComputerInput.kif 935-935	GUIButton is disjoint from ComputerKeyboardKey
(havePartTypes ComputerKeyboard ComputerKeyboardKey)	ComputerInput.kif 375-375	ComputerKeyboard has parts of type ComputerKeyboardKey
(subclass CharacterKey ComputerKeyboardKey)	ComputerInput.kif 269-269	CharacterKey is a subclass of ComputerKeyboardKey
(subclass SpecialComputerKeyboardKey ComputerKeyboardKey)	ComputerInput.kif 273-273	SpecialComputerKeyboardKey is a subclass of ComputerKeyboardKey

appearance as argument number 3

(domainSubclass PressingKeyFn 1 ComputerKeyboardKey)

ComputerInput.kif 1356-1356

The number 1 argument of PressingKeyFn is a subclass of ComputerKeyboardKey

antecedent

(=> (and (instance ?ACT AltKeyHoldDown) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY AltKey))	ComputerInput.kif 1319-1324	If a process is an instance of AltKeyHoldDown and an entity is a patient of the process and the entity is an instance of ComputerKeyboardKey, then the entity is an instance of AltKey
(=> (and (instance ?ACT CharacterKeyPress) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY CharacterKey))	ComputerInput.kif 1374-1379	If a process is an instance of CharacterKeyPress and an entity is a patient of the process and the entity is an instance of ComputerKeyboardKey, then the entity is an instance of CharacterKey
(=> (and (instance ?ACT ControlKeyHoldDown) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY ControlKey))	ComputerInput.kif 1296-1301	If a process is an instance of ControlKeyHoldDown and an entity is a patient of the process and the entity is an instance of ComputerKeyboardKey, then the entity is an instance of ControlKey
(=> (and (instance ?ACT EnterKeyPress) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY EnterKey))	ComputerInput.kif 1418-1423	If a process is an instance of EnterKeyPress and an entity is a patient of the process and the entity is an instance of ComputerKeyboardKey, then the entity is an instance of EnterKey
(=> (and (instance ?ACT FunctionKeyHoldDown) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY FunctionKey))	ComputerInput.kif 1343-1348	If a process is an instance of FunctionKeyHoldDown and an entity is a patient of the process and the entity is an instance of ComputerKeyboardKey, then the entity is an instance of FunctionKey
(=> (and (instance ?ACT ShiftKeyHoldDown) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY ShiftKey))	ComputerInput.kif 1275-1280	If a process is an instance of ShiftKeyHoldDown and an entity is a patient of the process and the entity is an instance of ComputerKeyboardKey, then the entity is an instance of ShiftKey
(=> (and (instance ?ACT SpecialCharacterPress) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY SpecialComputerKeyboardKey))	ComputerInput.kif 1399-1404	If a process is an instance of SpecialCharacterPress and an entity is a patient of the process and the entity is an instance of ComputerKeyboardKey, then the entity is an instance of SpecialComputerKeyboardKey
(=> (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

consequent

(=> (instance ?ACT KeyboardAction) (exists (?KEY) (and (instance ?KEY ComputerKeyboardKey) (patient ?ACT ?KEY))))	ComputerInput.kif 1227-1232	If a process is an instance of KeyboardAction, then there exists an entity such that the entity is an instance of ComputerKeyboardKey and the entity is a patient of the process
(=> (instance ?ACT MultikeyAction) (exists (?KEY1 ?KEY2) (and (patient ?ACT ?KEY1) (patient ?ACT ?KEY2) (not (equal ?KEY1 ?KEY2)) (instance ?KEY1 ComputerKeyboardKey) (instance ?KEY2 ComputerKeyboardKey))))	ComputerInput.kif 1241-1249	If a process is an instance of MultikeyAction, then there exist an entity and another entity such that the entity is a patient of the process and the other entity is a patient of the process and the entity is not equal to the other entity and the entity is an instance of ComputerKeyboardKey and the other entity is an instance of ComputerKeyboardKey
(=> (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