EnterKeyPress |
appearance as argument number 1 |
(documentation EnterKeyPress EnglishLanguage "A EnterKeyPress is a UserDirectAction of hitting the Enter key on a keyboard.") | ComputerInput.kif 1411-1412 | |
(subclass EnterKeyPress SpecialCharacterPress) | ComputerInput.kif 1409-1409 | |
(udaCanSignify EnterKeyPress SubmitAction) | ComputerInput.kif 1840-1840 |
appearance as argument number 2 |
(termFormat EnglishLanguage EnterKeyPress "enter key press") | domainEnglishFormat.kif 64828-64828 |
antecedent |
(=> (and (instance ?ACT EnterKeyPress) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY EnterKey)) |
ComputerInput.kif 1421-1426 | |
(=> (instance ?ACT EnterKeyPress) (exists (?KEY) (and (instance ?KEY EnterKey) (patient ?ACT ?KEY)))) |
ComputerInput.kif 1414-1419 |