TreeView Knowledge Base Browser - ComputerKeyboardKey

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 243-243	ComputerKeyboardKey e' disjunto de LeftCIButton
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 242-242	ComputerKeyboardKey e' disjunto de MiddleCIButton
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 244-244	ComputerKeyboardKey e' disjunto de MouseButton
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 241-241	ComputerKeyboardKey e' disjunto de RightCIButton
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 367-367	ComputerKeyboardKey e' disjunto de TouchpadKey
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	ComputerKeyboardKey e' uma sub-classe de ComputerInputButton
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 247-247	typicalPart ComputerKeyboardKey and ComputerKeyboard_Generic

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 936-936	GUIButton e' disjunto de ComputerKeyboardKey
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 375-375	partTypes ComputerKeyboard and ComputerKeyboardKey
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 269-269	CharacterKey e' uma sub-classe de ComputerKeyboardKey
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 273-273	SpecialComputerKeyboardKey e' uma sub-classe de ComputerKeyboardKey
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64676-64676

appearance as argument number 3

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

ComputerInput.kif 1359-1359

O argumento numero 1 de PressingKeyFn e' uma sub-classe de ComputerKeyboardKey

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1322-1327	Processo e' uma instancia de AltKeyHoldDown Entidade e' um patient de Processo Entidade e' uma instancia de ComputerKeyboardKey Entidade e' uma instancia de AltKey
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1377-1382	Processo e' uma instancia de CharacterKeyPress Entidade e' um patient de Processo Entidade e' uma instancia de ComputerKeyboardKey Entidade e' uma instancia de CharacterKey
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1299-1304	Processo e' uma instancia de ControlKeyHoldDown Entidade e' um patient de Processo Entidade e' uma instancia de ComputerKeyboardKey Entidade e' uma instancia de ControlKey
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1421-1426	Processo e' uma instancia de EnterKeyPress Entidade e' um patient de Processo Entidade e' uma instancia de ComputerKeyboardKey Entidade e' uma instancia de EnterKey
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1346-1351	Processo e' uma instancia de FunctionKeyHoldDown Entidade e' um patient de Processo Entidade e' uma instancia de ComputerKeyboardKey Entidade e' uma instancia de FunctionKey
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1278-1283	Processo e' uma instancia de ShiftKeyHoldDown Entidade e' um patient de Processo Entidade e' uma instancia de ComputerKeyboardKey Entidade e' uma instancia de ShiftKey
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1402-1407	Processo e' uma instancia de SpecialCharacterPress Entidade e' um patient de Processo Entidade e' uma instancia de ComputerKeyboardKey Entidade e' uma instancia de SpecialComputerKeyboardKey
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 251-258	Objeto Corpuscular e' uma instancia de ComputerKeyboardKey Objeto CorpuscularBOARD1 e' uma instancia de ComputerKeyboard_Generic Objeto Corpuscular e' um componente de Objeto CorpuscularBOARD1 Objeto CorpuscularBOARD2 e' uma instancia de ComputerKeyboard_Generic Objeto Corpuscular e' um componente de Objeto CorpuscularBOARD2 Objeto CorpuscularBOARD1 e' igual a Objeto CorpuscularBOARD2

consequent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1230-1235	Processo e' uma instancia de KeyboardAction Entidade Entidade e' uma instancia de ComputerKeyboardKey Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1244-1252	Processo e' uma instancia de MultikeyAction Entidade Entidade Entidade e' um patient de Processo Entidade e' um patient de Processo Entidade e' igual a Entidade Entidade e' uma instancia de ComputerKeyboardKey Entidade e' uma instancia de ComputerKeyboardKey
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 262-267	Objeto Corpuscular e' uma instancia de ComputerKeyboard_Generic Objeto Corpuscular Objeto Corpuscular e' uma instancia de ComputerKeyboardKey Objeto Corpuscular e' um componente de Objeto Corpuscular

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

KB Term:			Term intersection

English Word: