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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Typing
Typing(typing)double-space, touch-type, triple-space, type, typewrite

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


(disjoint Typing AudioInput) ComputerInput.kif 1692-1692 Typing is disjoint from audio input
(disjoint Typing JoystickMotion) ComputerInput.kif 1694-1694 Typing is disjoint from joystick motion
(disjoint Typing TouchSurfaceAction) ComputerInput.kif 1693-1693 Typing is disjoint from touch surface action
(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 Typing is a subclass of keyboard action
(udaCanSignify Typing InputCharacterString) ComputerInput.kif 1872-1872 Typing isgnifies input character string

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


(disjoint ScrollWheelRotating Typing) ComputerInput.kif 1691-1691 Scroll wheel rotating is disjoint from typing
(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