CoveringGUIElement - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2498-2499
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2497-2497	Covering GUI element is a subclass of user signified graphical action

appearance as argument number 2

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

ComputerInput.kif 2502-2502

appearance as argument number 3

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

ComputerInput.kif 2515-2515

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2597-2607	If a time interval is an instance of covering GUI element and an entity_TOP is an agent of the time interval and the entity_BOTTOM is a patient of the time interval and the entity_TOP is an instance of GUI element and the entity_BOTTOM is an instance of GUI element, then the entity_BOTTOM is covered by the entity_TOP or the entity_BOTTOM is partially covered by the entity_TOP holds during the end of the time interval
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2521-2527	If a covering GUI element is an instance of covering GUI element, then there exists a GUI element such that the GUI element is an instance of GUI element and the GUI element is a patient of the covering GUI element and the covering GUI element covers the GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2504-2512	If a process is an instance of covering GUI element, then there exist an agent and an entity such that the agent is an instance of GUI element and the entity is an instance of GUI element and the agent is an agent of the process and the entity is a patient of the process and the agent is not equal to the entity