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

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 243-243	Computer keyboard key is disjoint from left CI button
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 242-242	Computer keyboard key is disjoint from middle CI button
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 244-244	Computer keyboard key is disjoint from mouse button
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 241-241	Computer keyboard key is disjoint from right CI button
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 367-367	Computer keyboard key is disjoint from touchpad key
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 240-240
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 239-239	Computer keyboard key is a subclass of computer input button
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 247-247	A computer keyboard key is typically a part of a generic computer keyboard

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 936-936	GUI button is disjoint from computer keyboard key
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 375-375	Every computer keyboard is a part of a computer keyboard key
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 269-269	Character key is a subclass of computer keyboard key
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 273-273	Special computer keyboard key is a subclass of computer keyboard key
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64688-64688

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

ComputerInput.kif 1359-1359

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

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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