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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UserDirectAction
UserDirectAction

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


(disjoint UserDirectAction UserSignifiedAction) ComputerInput.kif 1206-1206 UserDirectAction 和 % 2 是 disjoint
(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 UserDirectAction图标subclass
(subclass UserDirectAction UserAction) ComputerInput.kif 1177-1177 UserDirectActionUserActionsubclass

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


(subclass AudioInput UserDirectAction) ComputerInput.kif 1649-1649 AudioInputUserDirectActionsubclass
(subclass ChangingAccountInfo UserDirectAction) ComputingBrands.kif 4081-4081 ChangingAccountInfoUserDirectActionsubclass
(subclass ChangingPassword UserDirectAction) ComputingBrands.kif 4037-4037 ChangingPasswordUserDirectActionsubclass
(subclass ChangingUserName UserDirectAction) ComputingBrands.kif 4059-4059 ChangingUserNameUserDirectActionsubclass
(subclass Clicking UserDirectAction) ComputerInput.kif 1427-1427 ClickingUserDirectActionsubclass
(subclass CreatingAnAccount UserDirectAction) ComputingBrands.kif 4100-4100 CreatingAnAccountUserDirectActionsubclass
(subclass DataEntry UserDirectAction) ComputingBrands.kif 4279-4279 DataEntryUserDirectActionsubclass
(subclass JoystickMotion UserDirectAction) ComputerInput.kif 1630-1630 JoystickMotionUserDirectActionsubclass
(subclass KeyboardAction UserDirectAction) ComputerInput.kif 1221-1221 KeyboardActionUserDirectActionsubclass
(subclass LoggingIn UserDirectAction) ComputingBrands.kif 3922-3922 LoggingInUserDirectActionsubclass
(subclass LoginFailure UserDirectAction) ComputingBrands.kif 3971-3971 LoginFailureUserDirectActionsubclass
(subclass ScrollWheelRotating UserDirectAction) ComputerInput.kif 1661-1661 ScrollWheelRotatingUserDirectActionsubclass
(subclass SlidingComputerInputDeviceAction UserDirectAction) ComputerInput.kif 1513-1513 SlidingComputerInputDeviceActionUserDirectActionsubclass
(subclass SupplyingEyeScan UserDirectAction) ComputingBrands.kif 3986-3986 SupplyingEyeScanUserDirectActionsubclass
(subclass SupplyingFingerprint UserDirectAction) ComputingBrands.kif 3985-3985 SupplyingFingerprintUserDirectActionsubclass
(subclass TouchSurfaceAction UserDirectAction) ComputerInput.kif 1530-1530 TouchSurfaceActionUserDirectActionsubclass

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


(domainSubclass udaCanSignify 1 UserDirectAction) ComputerInput.kif 1714-1714 udaCanSignify 的 1 数量 是 UserDirectActionsubclass

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 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