CharacterKey - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CharacterKey

CharacterKey(character key)

appearance as argument number 1

(documentation CharacterKey EnglishLanguage "A CharacterKey is a type of ComputerKeyboardKey on a ComputerKeyboard that sends a single (printable or whitespace) character to a computer to which it is attached.")	ComputerInput.kif 270-271
(subclass CharacterKey ComputerKeyboardKey)	ComputerInput.kif 269-269	Character key is a subclass of computer keyboard key

appearance as argument number 2

(disjoint SpecialComputerKeyboardKey CharacterKey)	ComputerInput.kif 278-278	Special computer keyboard key is disjoint from character key
(termFormat EnglishLanguage CharacterKey "character key")	domainEnglishFormat.kif 64636-64636	Special computer keyboard key is disjoint from character key

consequent

(=> (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
(=> (instance ?ACT CharacterKeyPress) (exists (?KEY) (and (instance ?KEY CharacterKey) (patient ?ACT ?KEY))))	ComputerInput.kif 1370-1375	If a process is an instance of character key press, then there exists an entity such that the entity is an instance of character key and the entity is a patient of the process

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