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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Typing
Typingdouble-space, touch-type, triple-space, type, typewrite

VerbNet: scribble-25.2|type, scribble-25.2|type,


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


(disjoint Typing AudioInput) ComputerInput.kif 1707-1707 Typing is disjoint from AudioInput
(disjoint Typing JoystickMotion) ComputerInput.kif 1709-1709 Typing is disjoint from JoystickMotion
(disjoint Typing TouchSurfaceAction) ComputerInput.kif 1708-1708 Typing is disjoint from TouchSurfaceAction
(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 1704-1705
(subclass Typing KeyboardAction) ComputerInput.kif 1703-1703 Typing is a subclass of KeyboardAction
(udaCanSignify Typing InputCharacterString) ComputerInput.kif 1887-1887 Typing isgnifies InputCharacterString

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


(disjoint ScrollWheelRotating Typing) ComputerInput.kif 1706-1706 ScrollWheelRotating is disjoint from Typing

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners