UserDirectAction |
appearance as argument number 1 |
(disjoint UserDirectAction UserSignifiedAction) | ComputerInput.kif 1209-1209 | UserDirectAction è disgiunto da 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 è una sottoclasse di Icona |
(subclass UserDirectAction UserAction) | ComputerInput.kif 1180-1180 | UserDirectAction è una sottoclasse di UserAction |
appearance as argument number 2 |
appearance as argument number 3 |
(domainSubclass udaCanSignify 1 UserDirectAction) | ComputerInput.kif 1717-1717 | Il numero 1 argomento udaCanSignify è una sottoclasse diUserDirectAction |
antecedent |
consequent |
(=> (instance ?SIG_ACTION UserSignifiedAction) (exists (?DIR_ACTION) (and (represents ?DIR_ACTION ?SIG_ACTION) (instance ?DIR_ACTION UserDirectAction)))) |
ComputerInput.kif 1217-1222 |
|