UserSignifiedAction - Sigma Knowledge base Browser

appearance as argument number 1

(documentation UserSignifiedAction EnglishLanguage "A UserSignifiedAction is an action signified by physical action taken by a ComputerUser in interacting with a ComputerProcess -- scrolling, selecting a link, moving a cursor, ... -- not physical action itself (clicking a button, moving a mouse, touching a screen, ...). Often several different types UserDirectAction (q.v.) could signify the same UserSignifiedAction.")	ComputerInput.kif 1201-1207
(subclass UserSignifiedAction ComputerProcess)	ComputerInput.kif 1199-1199	UserSignifiedAction ist eine teilkategorie von ComputerProcess
(subclass UserSignifiedAction UserAction)	ComputerInput.kif 1198-1198	UserSignifiedAction ist eine teilkategorie von UserAction

appearance as argument number 2

(disjoint UserDirectAction UserSignifiedAction)	ComputerInput.kif 1209-1209	UserDirectAction ist dijunkt von UserSignifiedAction %n{nicht}
(subclass ActivatingUIElement UserSignifiedAction)	ComputerInput.kif 2262-2262	ActivatingUIElement ist eine teilkategorie von UserSignifiedAction
(subclass ForceQuit UserSignifiedAction)	ComputingBrands.kif 3023-3023	ForceQuit ist eine teilkategorie von UserSignifiedAction
(subclass InputCharacterString UserSignifiedAction)	ComputerInput.kif 1869-1869	InputCharacterString ist eine teilkategorie von UserSignifiedAction
(subclass SelectingActiveArea UserSignifiedAction)	ComputerInput.kif 2159-2159	SelectingActiveArea ist eine teilkategorie von UserSignifiedAction
(subclass SubmitAction UserSignifiedAction)	ComputerInput.kif 1833-1833	SubmitAction ist eine teilkategorie von UserSignifiedAction
(subclass UserSignifiedGraphicalAction UserSignifiedAction)	ComputerInput.kif 1705-1705	UserSignifiedGraphicalAction ist eine teilkategorie von UserSignifiedAction
(subclass ViewItemRequest UserSignifiedAction)	UXExperimentalTerms.kif 1550-1550	ViewItemRequest ist eine teilkategorie von UserSignifiedAction
(termFormat EnglishLanguage UserSignifiedAction "user signified action")	domainEnglishFormat.kif 65679-65679

appearance as argument number 3

(domainSubclass udaCanSignify 2 UserSignifiedAction)

ComputerInput.kif 1718-1718

Die Zahl 2 Argument von udaCanSignify ist eine teilkategorie von UserSignifiedAction %n{nicht}

antecedent

(=>
    (instance ?SIG_ACTION UserSignifiedAction)
    (exists (?DIR_ACTION)
        (and
            (represents ?DIR_ACTION ?SIG_ACTION)
            (instance ?DIR_ACTION UserDirectAction))))

ComputerInput.kif 1217-1222

Wenn entity_ACTION ist ein fall von UserSignifiedAction %n{nicht},
dann es gibt ** entity_ACTION um ** ** entity_ACTION drueckt ** entity_ACTION aus und ** ** entity_ACTION ist ein fall von UserDirectAction %n{nicht}

consequent

(=>
    (instance ?ACTION UserDirectAction)
    (exists (?SIG_ACTION)
        (and
            (represents ?ACTION ?SIG_ACTION)
            (instance ?SIG_ACTION UserSignifiedAction))))

ComputerInput.kif 1211-1216

Wenn Entity ist ein fall von UserDirectAction %n{nicht},
dann es gibt ** entity_ACTION um ** Entity drueckt ** ** entity_ACTION aus und ** ** entity_ACTION ist ein fall von UserSignifiedAction %n{nicht}