| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1706-1707 | |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1705-1705 | User signified graphical action 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 2325-2325 | Bringing GE to front is a subclass of user signified graphical action |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2432-2432 | Closing graphical window is a subclass of user signified graphical action |
| 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 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2314-2314 | Highlighting is a subclass of user signified graphical action |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2291-2291 | Jumping to activate UI element is a subclass of user signified graphical action |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2462-2462 | Maximizing graphical window is a subclass of user signified graphical action |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2447-2447 | Minimizing graphical window is a subclass of user signified graphical action |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1723-1723 | Moving cursor is a subclass of user signified graphical action |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2357-2357 | Opening graphical window is a subclass of user signified graphical action |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2551-2551 | Partially covering graphical window is a subclass of user signified graphical action |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2319-2319 | Resizing screen object is a subclass of user signified graphical action |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2619-2619 | Uncovering GUI element is a subclass of user signified graphical action |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2480-2480 | Unmaximizing graphical window is a subclass of user signified graphical action |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1784-1784 | Window scrolling by user is a subclass of user signified graphical action |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65680-65680 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1789-1793 | An entity is an instance of window scrolling and the entity is an instance of user signified graphical action if and only if the entity is an instance of window scrolling by user |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1709-1714 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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