TreeView Knowledge Base Browser - ScrollWheel

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ScrollWheel

ScrollWheel(scroll wheel)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 410-410	Scroll wheel is disjoint from generic computer keyboard
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 411-411	Scroll wheel is disjoint from computer mouse
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 405-408
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 403-403	Scroll wheel is a subclass of computer input device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 425-425	Touch sensitive computer input device is disjoint from scroll wheel
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65460-65460

consequent

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

ComputerInput.kif 1672-1677

If a process is an instance of scroll wheel rotating,
then there exists an agent such that the agent experiences the process and the agent is an instance of scroll wheel

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