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 1413-1418
(subclass SpecialCharacterPress SingleKeyPress) ComputerInput.kif 1411-1411 SpecialCharacterPress is a subclass of SingleKeyPress

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


(disjoint CharacterKeyPress SpecialCharacterPress) ComputerInput.kif 1420-1420 CharacterKeyPress is disjoint from SpecialCharacterPress
(subclass EnterKeyPress SpecialCharacterPress) ComputerInput.kif 1436-1436 EnterKeyPress is a subclass of SpecialCharacterPress

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


(=>
    (and
        (instance ?ACT SpecialCharacterPress)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY SpecialComputerKeyboardKey))
ComputerInput.kif 1429-1434
(=>
    (instance ?ACT SpecialCharacterPress)
    (exists (?KEY)
        (and
            (instance ?KEY SpecialComputerKeyboardKey)
            (patient ?ACT ?KEY))))
ComputerInput.kif 1422-1427


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