TreeView Knowledge Base Browser - GUIActiveArea

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - GUIActiveArea

GUIActiveArea(GUI active area)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 879-880
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 878-878	GUI active area is a subclass of GUI element

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1064-1064	Mouse cursor is disjoint from GUI active area
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1128-1128	Computer menu item is a subclass of GUI active area
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 883-883	Computer touchscreen keyboard is a subclass of GUI active area
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 882-882	Computer touchscreen keypad is a subclass of GUI active area
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 928-928	GUI button is a subclass of GUI active area
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1116-1116	GUI check box is a subclass of GUI active area
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1024-1024	GUI slider is a subclass of GUI active area
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1036-1036	GUI slider indicator is a subclass of GUI active area
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1161-1161	GUI_ link is a subclass of GUI active area
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 886-886	Graphical computer menu is a subclass of GUI active area
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1144-1144	Graphical menu item is a subclass of GUI active area
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1096-1096	Hover box active area is a subclass of GUI active area
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 946-946	Scroll bar is a subclass of GUI active area
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 971-971	Scroll bar bar is a subclass of GUI active area
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1107-1107	Text input box is a subclass of GUI active area
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64917-64917

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2203-2210	If a time interval is an instance of selecting active area and an entity is a patient of the time interval and the entity is an instance of GUI active area, then not the entity has state GUE selected state holds during the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2215-2222	If a time interval is an instance of selecting active area and an entity is a patient of the time interval and the entity is an instance of GUI active area, then the entity has state GUE selected state holds during the end of the time interval

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 1709-1714	If a process is an instance of user signified graphical action, 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
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2190-2198	If a time interval is an instance of selecting active area, then there exists an entity such that the entity is an instance of GUI active area and the entity has state GUE active state holds during the beginning of the time interval and the entity is a patient of the time interval

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