TreeView Knowledge Base Browser - Typing

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

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1692-1692	Typing is disjoint from audio input
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1694-1694	Typing is disjoint from joystick motion
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1693-1693	Typing is disjoint from touch surface action
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1689-1690
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1688-1688	Typing is a subclass of keyboard action
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1872-1872	Typing isgnifies input character string

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1691-1691	Scroll wheel rotating is disjoint from typing
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65633-65633

antecedent

No TPTP formula. May not be expressible in strict first order.

ComputerInput.kif 1696-1701

If a process is an instance of typing,
then there exists another process such that the other process is a subprocess of the process and the other process is an instance of single key press

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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