TreeView Knowledge Base Browser - Cursor

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Cursor

Cursor(cursor)

cursor, pointer

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1082-1082	Cursor is disjoint from interface window
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1047-1051
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1046-1046	Cursor is a subclass of GUI element

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1059-1059	Mouse cursor is a subclass of cursor
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1054-1054	Text cursor is a subclass of cursor
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64727-64727

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1753-1758	If a process is an instance of dragging with cursor and an entity is a patient of the process and the entity is an instance of cursor, then the entity is an instance of mouse cursor
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2423-2430	If an uncovering graphical window is an instance of uncovering graphical window and a GUI element is a patient of the uncovering graphical window and the GUI element is an instance of interface window and an object is a proper part of the GUI element and the object is an instance of cursor, then the uncovering graphical window uncovers the GUI element

consequent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1762-1768	If a process is an instance of dragging with cursor, then there exists an entity such that the entity is a patient of the process and the entity is an instance of GUI active area and the entity is not an instance of cursor
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1732-1737	If a process is an instance of moving cursor, then there exists an entity such that the entity is a patient of the process and the entity is an instance of cursor

statement

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

ComputerInput.kif 2226-2229

~{ A GUI element is an instance of cursor } or ~{ the GUI element has state GUE selected state }

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