Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EnterKeyPress
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


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