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 1206-1206
(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 1180-1185
(subclass UserDirectAction Icon) ComputerInput.kif 1178-1178
(subclass UserDirectAction UserAction) ComputerInput.kif 1177-1177

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


(subclass AudioInput UserDirectAction) ComputerInput.kif 1649-1649
(subclass ChangingAccountInfo UserDirectAction) ComputingBrands.kif 4081-4081
(subclass ChangingPassword UserDirectAction) ComputingBrands.kif 4037-4037
(subclass ChangingUserName UserDirectAction) ComputingBrands.kif 4059-4059
(subclass Clicking UserDirectAction) ComputerInput.kif 1427-1427
(subclass CreatingAnAccount UserDirectAction) ComputingBrands.kif 4100-4100
(subclass DataEntry UserDirectAction) ComputingBrands.kif 4279-4279
(subclass JoystickMotion UserDirectAction) ComputerInput.kif 1630-1630
(subclass KeyboardAction UserDirectAction) ComputerInput.kif 1221-1221
(subclass LoggingIn UserDirectAction) ComputingBrands.kif 3922-3922
(subclass LoginFailure UserDirectAction) ComputingBrands.kif 3971-3971
(subclass ScrollWheelRotating UserDirectAction) ComputerInput.kif 1661-1661
(subclass SlidingComputerInputDeviceAction UserDirectAction) ComputerInput.kif 1513-1513
(subclass SupplyingEyeScan UserDirectAction) ComputingBrands.kif 3986-3986
(subclass SupplyingFingerprint UserDirectAction) ComputingBrands.kif 3985-3985
(subclass TouchSurfaceAction UserDirectAction) ComputerInput.kif 1530-1530

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


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

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


(=>
    (and
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?JOYSTICK)
        (instance ?JOYSTICK Joystick))
    (instance ?ACT JoystickMotion))
ComputerInput.kif 1642-1647
(=>
    (and
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?TOUCHPAD)
        (instance ?TOUCHPAD ComputerTouchpad))
    (instance ?ACT TouchPadAction))
ComputerInput.kif 1623-1628
(=>
    (and
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?TOUCHSCREEN)
        (instance ?TOUCHSCREEN ComputerTouchscreen))
    (instance ?ACT ScreenTouchAction))
ComputerInput.kif 1591-1596
(=>
    (and
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?TOUCHSURF)
        (instance ?TOUCHSURF TouchSensitiveComputerInputDevice))
    (instance ?ACT TouchSurfaceAction))
ComputerInput.kif 1542-1547
(=>
    (instance ?ACTION UserDirectAction)
    (exists (?DEVICE)
        (and
            (patient ?ACTION ?DEVICE)
            (instance ?DEVICE ComputerInputDevice))))
ComputerInput.kif 1188-1193
(=>
    (instance ?ACTION UserDirectAction)
    (exists (?SIG_ACTION)
        (and
            (represents ?ACTION ?SIG_ACTION)
            (instance ?SIG_ACTION UserSignifiedAction))))
ComputerInput.kif 1208-1213

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


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


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