TreeView Knowledge Base Browser - ActivatingUIElement

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ActivatingUIElement

Sigma KEE - ActivatingUIElement

ActivatingUIElement(activating UI element)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2263-2266
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2262-2262	Activating UI element is a subclass of user signified action

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2290-2290	Jumping to activate UI element is a subclass of activating UI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2279-2279	Selecting computer submenu is a subclass of activating UI element
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64404-64404

antecedent

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

ComputerInput.kif 2268-2277

If a time interval is an instance of activating UI element and an entity is a patient of the time interval and the entity is an instance of GUI element,
then the entity has state GUE active state holds during the end of the time interval and not the entity has state GUE active state holds during the beginning 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