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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpecialCharacterPress
SpecialCharacterPress

appearance as argument number 1
-------------------------


(documentation SpecialCharacterPress EnglishLanguage "A CharacterKeyPress is a SingleKeyPress of the enter, backspace, delete, escape, shift, control, function, function keys, home, page-up, and similar keys. Use CharacterKeyPress for white space keys and a keyboard key that signifies a single character (letters, numbers, punctuation, other symbols).") ComputerInput.kif 1386-1391
(subclass SpecialCharacterPress SingleKeyPress) ComputerInput.kif 1384-1384

appearance as argument number 2
-------------------------


(disjoint CharacterKeyPress SpecialCharacterPress) ComputerInput.kif 1393-1393
(subclass EnterKeyPress SpecialCharacterPress) ComputerInput.kif 1409-1409
(termFormat EnglishLanguage SpecialCharacterPress "special character press") domainEnglishFormat.kif 65527-65527

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


(=>
    (and
        (instance ?ACT SpecialCharacterPress)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY SpecialComputerKeyboardKey))
ComputerInput.kif 1402-1407
(=>
    (instance ?ACT SpecialCharacterPress)
    (exists (?KEY)
        (and
            (instance ?KEY SpecialComputerKeyboardKey)
            (patient ?ACT ?KEY))))
ComputerInput.kif 1395-1400


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