Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - UserDirectAction

appearance as argument number 1

(disjoint UserDirectAction UserSignifiedAction) ComputerInput.kif 1209-1209
(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
(subclass UserDirectAction UserAction) ComputerInput.kif 1180-1180

appearance as argument number 2

(subclass AudioInput UserDirectAction) ComputerInput.kif 1652-1652
(subclass ChangingAccountInfo UserDirectAction) ComputingBrands.kif 4118-4118
(subclass ChangingPassword UserDirectAction) ComputingBrands.kif 4074-4074
(subclass ChangingUserName UserDirectAction) ComputingBrands.kif 4096-4096
(subclass Clicking UserDirectAction) ComputerInput.kif 1430-1430
(subclass CreatingAnAccount UserDirectAction) ComputingBrands.kif 4137-4137
(subclass DataEntry UserDirectAction) ComputingBrands.kif 4316-4316
(subclass JoystickMotion UserDirectAction) ComputerInput.kif 1633-1633
(subclass KeyboardAction UserDirectAction) ComputerInput.kif 1224-1224
(subclass LoggingIn UserDirectAction) ComputingBrands.kif 3959-3959
(subclass LoginFailure UserDirectAction) ComputingBrands.kif 4008-4008
(subclass ScrollWheelRotating UserDirectAction) ComputerInput.kif 1664-1664
(subclass SlidingComputerInputDeviceAction UserDirectAction) ComputerInput.kif 1516-1516
(subclass SupplyingEyeScan UserDirectAction) ComputingBrands.kif 4023-4023
(subclass SupplyingFingerprint UserDirectAction) ComputingBrands.kif 4022-4022
(subclass TouchSurfaceAction UserDirectAction) ComputerInput.kif 1533-1533
(termFormat EnglishLanguage UserDirectAction "user direct action") domainEnglishFormat.kif 65675-65675

appearance as argument number 3

(domainSubclass udaCanSignify 1 UserDirectAction) ComputerInput.kif 1717-1717


        (instance ?ACT UserDirectAction)
        (patient ?ACT ?JOYSTICK)
        (instance ?JOYSTICK Joystick))
    (instance ?ACT JoystickMotion))
ComputerInput.kif 1645-1650
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?TOUCHPAD)
        (instance ?TOUCHPAD ComputerTouchpad))
    (instance ?ACT TouchPadAction))
ComputerInput.kif 1626-1631
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?TOUCHSCREEN)
        (instance ?TOUCHSCREEN ComputerTouchscreen))
    (instance ?ACT ScreenTouchAction))
ComputerInput.kif 1594-1599
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?TOUCHSURF)
        (instance ?TOUCHSURF TouchSensitiveComputerInputDevice))
    (instance ?ACT TouchSurfaceAction))
ComputerInput.kif 1545-1550
    (instance ?ACTION UserDirectAction)
    (exists (?DEVICE)
            (patient ?ACTION ?DEVICE)
            (instance ?DEVICE ComputerInputDevice))))
ComputerInput.kif 1191-1196
    (instance ?ACTION UserDirectAction)
    (exists (?SIG_ACTION)
            (represents ?ACTION ?SIG_ACTION)
            (instance ?SIG_ACTION UserSignifiedAction))))
ComputerInput.kif 1211-1216


    (instance ?SIG_ACTION UserSignifiedAction)
    (exists (?DIR_ACTION)
            (represents ?DIR_ACTION ?SIG_ACTION)
            (instance ?DIR_ACTION UserDirectAction))))
ComputerInput.kif 1217-1222

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners