UserDirectAction |
appearance as argument number 1 |
(disjoint UserDirectAction UserSignifiedAction) | ComputerInput.kif 1209-1209 | UserDirectAction 和 % 2 是 disjoint |
(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 是 图标 的 subclass |
(subclass UserDirectAction UserAction) | ComputerInput.kif 1180-1180 | UserDirectAction 是 UserAction 的 subclass |
appearance as argument number 2 |
appearance as argument number 3 |
(domainSubclass udaCanSignify 1 UserDirectAction) | ComputerInput.kif 1717-1717 | udaCanSignify 的 1 数量 是 UserDirectAction 的 subclass |
antecedent |
consequent |
(=> (instance ?SIG_ACTION UserSignifiedAction) (exists (?DIR_ACTION) (and (represents ?DIR_ACTION ?SIG_ACTION) (instance ?DIR_ACTION UserDirectAction)))) |
ComputerInput.kif 1217-1222 |
|