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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UserDirectAction

Sigma KEE - UserDirectAction
UserDirectAction

appearance as argument number 1
-------------------------


(disjoint UserDirectAction UserSignifiedAction) ComputerInput.kif 1236-1236 UserDirectAction is disjoint from 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 1210-1215
(subclass UserDirectAction Icon) ComputerInput.kif 1208-1208 UserDirectAction is a subclass of icon
(subclass UserDirectAction UserAction) ComputerInput.kif 1207-1207 UserDirectAction is a subclass of UserAction

appearance as argument number 2
-------------------------


(subclass AudioInput UserDirectAction) ComputerInput.kif 1667-1667 AudioInput is a subclass of UserDirectAction
(subclass ChangingAccountInfo UserDirectAction) ComputingBrands.kif 4038-4038 Change account information is a subclass of UserDirectAction
(subclass ChangingPassword UserDirectAction) ComputingBrands.kif 3994-3994 Change password is a subclass of UserDirectAction
(subclass ChangingUserName UserDirectAction) ComputingBrands.kif 4016-4016 Change user name is a subclass of UserDirectAction
(subclass Clicking UserDirectAction) ComputerInput.kif 1457-1457 Clicking is a subclass of UserDirectAction
(subclass CreatingAnAccount UserDirectAction) ComputingBrands.kif 4057-4057 Creating an account is a subclass of UserDirectAction
(subclass DataEntry UserDirectAction) ComputingBrands.kif 4236-4236 Data entry is a subclass of UserDirectAction
(subclass JoystickMotion UserDirectAction) ComputerInput.kif 1648-1648 JoystickMotion is a subclass of UserDirectAction
(subclass KeyboardAction UserDirectAction) ComputerInput.kif 1251-1251 KeyboardAction is a subclass of UserDirectAction
(subclass LoggingIn UserDirectAction) ComputingBrands.kif 3879-3879 Logging in is a subclass of UserDirectAction
(subclass LoginFailure UserDirectAction) ComputingBrands.kif 3928-3928 LoginFailure is a subclass of UserDirectAction
(subclass ScrollWheelRotating UserDirectAction) ComputerInput.kif 1679-1679 ScrollWheelRotating is a subclass of UserDirectAction
(subclass SlidingComputerInputDeviceAction UserDirectAction) ComputerInput.kif 1543-1543 SlidingComputerInputDeviceAction is a subclass of UserDirectAction
(subclass SupplyingEyeScan UserDirectAction) ComputingBrands.kif 3943-3943 SupplyingEyeScan is a subclass of UserDirectAction
(subclass SupplyingFingerprint UserDirectAction) ComputingBrands.kif 3942-3942 SupplyingFingerprint is a subclass of UserDirectAction
(subclass TouchSurfaceAction UserDirectAction) ComputerInput.kif 1560-1560 TouchSurfaceAction is a subclass of UserDirectAction

appearance as argument number 3
-------------------------


(domain udaCanSignify 1 UserDirectAction) ComputerInput.kif 1732-1732 The number 1 argument of udaCanSignify is an instance of UserDirectAction

antecedent
-------------------------


(=>
    (and
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?JOYSTICK)
        (instance ?JOYSTICK Joystick))
    (instance ?ACT JoystickMotion))
ComputerInput.kif 1660-1665
(=>
    (and
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?TOUCHPAD)
        (instance ?TOUCHPAD ComputerTouchpad))
    (instance ?ACT TouchPadAction))
ComputerInput.kif 1641-1646
(=>
    (and
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?TOUCHSCREEN)
        (instance ?TOUCHSCREEN ComputerTouchscreen))
    (instance ?ACT ScreenTouchAction))
ComputerInput.kif 1623-1628
(=>
    (and
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?TOUCHSURF)
        (instance ?TOUCHSURF TouchSensitiveComputerInputDevice))
    (instance ?ACT TouchSurfaceAction))
ComputerInput.kif 1572-1577
(=>
    (instance ?ACTION UserDirectAction)
    (exists (?DEVICE)
        (and
            (patient ?ACTION ?DEVICE)
            (instance ?DEVICE ComputerInputDevice))))
ComputerInput.kif 1218-1223
(=>
    (instance ?ACTION UserDirectAction)
    (exists (?SIG_ACTION)
        (and
            (represents ?ACTION ?SIG_ACTION)
            (instance ?SIG_ACTION UserSignifiedAction))))
ComputerInput.kif 1238-1243

consequent
-------------------------


(=>
    (instance ?SIG_ACTION UserSignifiedAction)
    (exists (?DIR_ACTION)
        (and
            (represents ?DIR_ACTION ?SIG_ACTION)
            (instance ?DIR_ACTION UserDirectAction))))
ComputerInput.kif 1244-1249


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

Show without tree


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