UserDirectAction
|
|
appearance as argument number 1 |
(disjoint UserDirectAction UserSignifiedAction) | ComputerInput.kif 1209-1209 | 不相交的 UserDirectAction and UserSignifiedAction |
(documentation UserDirectAction EnglishLanguage "A UserDirectAction is a physical action taken by a ComputerUser in interacting with a ComputerProcess -- clicking a button, moving a mouse, touching a screen -- not the action signified by the physical action (scrolling, selecting a link, moving a cursor, ...). The action signifies an instruction to the computer. See UserSignifiedAction.") | ComputerInput.kif 1183-1188 | |
(subclass UserDirectAction Icon) | ComputerInput.kif 1181-1181 | 子類 UserDirectAction and Icon |
(subclass UserDirectAction UserAction) | ComputerInput.kif 1180-1180 | 子類 UserDirectAction and UserAction |
appearance as argument number 2 |
appearance as argument number 3 |
(domainSubclass udaCanSignify 1 UserDirectAction) | ComputerInput.kif 1717-1717 | 域子類 udaCanSignify, 1 and UserDirectAction |
antecedent |
consequent |
(=> (instance ?SIG_ACTION UserSignifiedAction) (exists (?DIR_ACTION) (and (represents ?DIR_ACTION ?SIG_ACTION) (instance ?DIR_ACTION UserDirectAction)))) |
ComputerInput.kif 1217-1222 |
|