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 1209-1209 UserDirectAction と UserSignifiedAction は 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 1183-1188 UserDirectAction と UserSignifiedAction は disjoint では
(subclass UserDirectAction Icon) ComputerInput.kif 1181-1181 UserDirectAction は アイコン の subclass では
(subclass UserDirectAction UserAction) ComputerInput.kif 1180-1180 UserDirectAction は UserAction の subclass では

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


(subclass AudioInput UserDirectAction) ComputerInput.kif 1652-1652 AudioInput は UserDirectAction の subclass では
(subclass ChangingAccountInfo UserDirectAction) ComputingBrands.kif 4113-4113 ChangingAccountInfo は UserDirectAction の subclass では
(subclass ChangingPassword UserDirectAction) ComputingBrands.kif 4069-4069 ChangingPassword は UserDirectAction の subclass では
(subclass ChangingUserName UserDirectAction) ComputingBrands.kif 4091-4091 ChangingUserName は UserDirectAction の subclass では
(subclass Clicking UserDirectAction) ComputerInput.kif 1430-1430 Clicking は UserDirectAction の subclass では
(subclass CreatingAnAccount UserDirectAction) ComputingBrands.kif 4132-4132 CreatingAnAccount は UserDirectAction の subclass では
(subclass DataEntry UserDirectAction) ComputingBrands.kif 4311-4311 DataEntry は UserDirectAction の subclass では
(subclass JoystickMotion UserDirectAction) ComputerInput.kif 1633-1633 JoystickMotion は UserDirectAction の subclass では
(subclass KeyboardAction UserDirectAction) ComputerInput.kif 1224-1224 KeyboardAction は UserDirectAction の subclass では
(subclass LoggingIn UserDirectAction) ComputingBrands.kif 3954-3954 LoggingIn は UserDirectAction の subclass では
(subclass LoginFailure UserDirectAction) ComputingBrands.kif 4003-4003 LoginFailure は UserDirectAction の subclass では
(subclass ScrollWheelRotating UserDirectAction) ComputerInput.kif 1664-1664 ScrollWheelRotating は UserDirectAction の subclass では
(subclass SlidingComputerInputDeviceAction UserDirectAction) ComputerInput.kif 1516-1516 SlidingComputerInputDeviceAction は UserDirectAction の subclass では
(subclass SupplyingEyeScan UserDirectAction) ComputingBrands.kif 4018-4018 SupplyingEyeScan は UserDirectAction の subclass では
(subclass SupplyingFingerprint UserDirectAction) ComputingBrands.kif 4017-4017 SupplyingFingerprint は UserDirectAction の subclass では
(subclass TouchSurfaceAction UserDirectAction) ComputerInput.kif 1533-1533 TouchSurfaceAction は UserDirectAction の subclass では
(termFormat EnglishLanguage UserDirectAction "user direct action") domainEnglishFormat.kif 65669-65669 TouchSurfaceAction は UserDirectAction の subclass では

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


(domainSubclass udaCanSignify 1 UserDirectAction) ComputerInput.kif 1717-1717 udaCanSignify の数値 1 引数は UserDirectAction のsubclass では

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


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

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


(=>
    (instance ?SIG_ACTION UserSignifiedAction)
    (exists (?DIR_ACTION)
        (and
            (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