UserSignifiedAction(user signified action) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1201-1207 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1199-1199 | User signified action is a subclass of computer process |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1198-1198 | User signified action is a subclass of user action |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1209-1209 | User direct action is disjoint from user signified action |
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 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3023-3023 | Force quit is a subclass of user signified action |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1869-1869 | Input character string is a subclass of user signified action |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2159-2159 | Selecting active area is a subclass of user signified action |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1833-1833 | Submit action is a subclass of user signified action |
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 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1550-1550 | View item request is a subclass of user signified action |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65679-65679 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1718-1718 | The number 2 argument of uda can signify is a subclass of user signified action |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1217-1222 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1211-1216 |
|