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
(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
(subclass UserDirectAction UserAction) ComputerInput.kif 1207-1207

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


(subclass AudioInput UserDirectAction) ComputerInput.kif 1681-1681
(subclass ChangingAccountInfo UserDirectAction) ComputingBrands.kif 4082-4082
(subclass ChangingPassword UserDirectAction) ComputingBrands.kif 4038-4038
(subclass ChangingUserName UserDirectAction) ComputingBrands.kif 4060-4060
(subclass Clicking UserDirectAction) ComputerInput.kif 1457-1457
(subclass CreatingAnAccount UserDirectAction) ComputingBrands.kif 4101-4101
(subclass DataEntry UserDirectAction) ComputingBrands.kif 4280-4280
(subclass JoystickMotion UserDirectAction) ComputerInput.kif 1662-1662
(subclass KeyboardAction UserDirectAction) ComputerInput.kif 1251-1251
(subclass LoggingIn UserDirectAction) ComputingBrands.kif 3923-3923
(subclass LoginFailure UserDirectAction) ComputingBrands.kif 3972-3972
(subclass ScrollWheelRotating UserDirectAction) ComputerInput.kif 1693-1693
(subclass SlidingComputerInputDeviceAction UserDirectAction) ComputerInput.kif 1543-1543
(subclass SupplyingEyeScan UserDirectAction) ComputingBrands.kif 3987-3987
(subclass SupplyingFingerprint UserDirectAction) ComputingBrands.kif 3986-3986
(subclass TouchSurfaceAction UserDirectAction) ComputerInput.kif 1560-1560

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


(domain udaCanSignify 1 UserDirectAction) ComputerInput.kif 1746-1746

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


(=>
    (and
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?JOYSTICK)
        (instance ?JOYSTICK Joystick))
    (instance ?ACT JoystickMotion))
ComputerInput.kif 1674-1679
(=>
    (and
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?TOUCHPAD)
        (instance ?TOUCHPAD ComputerTouchpad))
    (instance ?ACT TouchPadAction))
ComputerInput.kif 1655-1660
(=>
    (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