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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Typing
Typing

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


(disjoint Typing AudioInput) ComputerInput.kif 1692-1692
(disjoint Typing JoystickMotion) ComputerInput.kif 1694-1694
(disjoint Typing TouchSurfaceAction) ComputerInput.kif 1693-1693
(documentation Typing EnglishLanguage "A UserDirectAction consisting of typing on a keyboard. Each act of Typing has a number of subevents which are instances of SingleKeyPress.") ComputerInput.kif 1689-1690
(subclass Typing KeyboardAction) ComputerInput.kif 1688-1688
(udaCanSignify Typing InputCharacterString) ComputerInput.kif 1872-1872

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


(disjoint ScrollWheelRotating Typing) ComputerInput.kif 1691-1691
(termFormat EnglishLanguage Typing "typing") domainEnglishFormat.kif 65633-65633

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


(=>
    (instance ?TYPING Typing)
    (exists (?KEYPRESS)
        (and
            (subProcess ?KEYPRESS ?TYPING)
            (instance ?KEYPRESS SingleKeyPress))))
ComputerInput.kif 1696-1701


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