ComputerKeyboardKey - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ComputerKeyboardKey

ComputerKeyboardKey(computer keyboard key)

appearance as argument number 1

(disjoint ComputerKeyboardKey LeftCIButton)	ComputerInput.kif 243-243	Computer keyboard key is disjoint from left CI button
(disjoint ComputerKeyboardKey MiddleCIButton)	ComputerInput.kif 242-242	Computer keyboard key is disjoint from middle CI button
(disjoint ComputerKeyboardKey MouseButton)	ComputerInput.kif 244-244	Computer keyboard key is disjoint from mouse button
(disjoint ComputerKeyboardKey RightCIButton)	ComputerInput.kif 241-241	Computer keyboard key is disjoint from right CI button
(disjoint ComputerKeyboardKey TouchpadKey)	ComputerInput.kif 367-367	Computer keyboard key is disjoint from touchpad key
(documentation ComputerKeyboardKey EnglishLanguage "A ComputerInputButton on a ComputerKeyboard.")	ComputerInput.kif 240-240	Computer keyboard key is disjoint from touchpad key
(subclass ComputerKeyboardKey ComputerInputButton)	ComputerInput.kif 239-239	Computer keyboard key is a subclass of computer input button
(typicalPart ComputerKeyboardKey ComputerKeyboard_Generic)	ComputerInput.kif 247-247	A computer keyboard key is typically a part of a generic computer keyboard

appearance as argument number 2

(disjoint GUIButton ComputerKeyboardKey)	ComputerInput.kif 936-936	GUI button is disjoint from computer keyboard key
(partTypes ComputerKeyboard ComputerKeyboardKey)	ComputerInput.kif 375-375	Every computer keyboard is a part of a computer keyboard key
(subclass CharacterKey ComputerKeyboardKey)	ComputerInput.kif 269-269	Character key is a subclass of computer keyboard key
(subclass SpecialComputerKeyboardKey ComputerKeyboardKey)	ComputerInput.kif 273-273	Special computer keyboard key is a subclass of computer keyboard key
(termFormat EnglishLanguage ComputerKeyboardKey "computer keyboard key")	domainEnglishFormat.kif 64724-64724	Special computer keyboard key is a subclass of computer keyboard key

appearance as argument number 3

(domainSubclass PressingKeyFn 1 ComputerKeyboardKey)

ComputerInput.kif 1359-1359

The number 1 argument of pressing key fn is a subclass of computer keyboard key

antecedent

(=> (and (instance ?ACT AltKeyHoldDown) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY AltKey))	ComputerInput.kif 1322-1327	If a process is an instance of alt key hold down and an entity is a patient of the process and the entity is an instance of computer keyboard key, then the entity is an instance of alt key
(=> (and (instance ?ACT CharacterKeyPress) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY CharacterKey))	ComputerInput.kif 1377-1382	If a process is an instance of character key press and an entity is a patient of the process and the entity is an instance of computer keyboard key, then the entity is an instance of character key
(=> (and (instance ?ACT ControlKeyHoldDown) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY ControlKey))	ComputerInput.kif 1299-1304	If a process is an instance of control key hold down and an entity is a patient of the process and the entity is an instance of computer keyboard key, then the entity is an instance of control key
(=> (and (instance ?ACT EnterKeyPress) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY EnterKey))	ComputerInput.kif 1421-1426	If a process is an instance of enter key press and an entity is a patient of the process and the entity is an instance of computer keyboard key, then the entity is an instance of enter key
(=> (and (instance ?ACT FunctionKeyHoldDown) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY FunctionKey))	ComputerInput.kif 1346-1351	If a process is an instance of function key hold down and an entity is a patient of the process and the entity is an instance of computer keyboard key, then the entity is an instance of function key
(=> (and (instance ?ACT ShiftKeyHoldDown) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY ShiftKey))	ComputerInput.kif 1278-1283	If a process is an instance of shift key hold down and an entity is a patient of the process and the entity is an instance of computer keyboard key, then the entity is an instance of shift key
(=> (and (instance ?ACT SpecialCharacterPress) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY SpecialComputerKeyboardKey))	ComputerInput.kif 1402-1407	If a process is an instance of special character press and an entity is a patient of the process and the entity is an instance of computer keyboard key, then the entity is an instance of special computer keyboard key
(=> (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 computer keyboard key and the corpuscular objectBOARD1 is an instance of generic computer keyboard and the corpuscular object is a component of the corpuscular objectBOARD1 and the corpuscular objectBOARD2 is an instance of generic computer keyboard 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 1230-1235	If a process is an instance of keyboard action, then there exists an entity such that the entity is an instance of computer keyboard key 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 1244-1252	If a process is an instance of multikey action, 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 computer keyboard key and the other entity is an instance of computer keyboard key
(=> (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 generic computer keyboard, then there exists another corpuscular object such that the other corpuscular object is an instance of computer keyboard key and the other corpuscular object is a component of the corpuscular object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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