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 1438-1439
(subclass EnterKeyPress SpecialCharacterPress) ComputerInput.kif 1436-1436 EnterKeyPress is a subclass of SpecialCharacterPress
(udaCanSignify EnterKeyPress SubmitAction) ComputerInput.kif 1869-1869 EnterKeyPress isgnifies SubmitAction

antecedent
-------------------------


(=>
    (and
        (instance ?ACT EnterKeyPress)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY EnterKey))
ComputerInput.kif 1448-1453
(=>
    (instance ?ACT EnterKeyPress)
    (exists (?KEY)
        (and
            (instance ?KEY EnterKey)
            (patient ?ACT ?KEY))))
ComputerInput.kif 1441-1446


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