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 1209-1209 UserDirectAction è disgiunto da 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 1183-1188
(subclass UserDirectAction Icon) ComputerInput.kif 1181-1181 UserDirectAction è una sottoclasse di Icona
(subclass UserDirectAction UserAction) ComputerInput.kif 1180-1180 UserDirectAction è una sottoclasse di UserAction

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


(subclass AudioInput UserDirectAction) ComputerInput.kif 1652-1652 AudioInput è una sottoclasse di UserDirectAction
(subclass ChangingAccountInfo UserDirectAction) ComputingBrands.kif 4118-4118 ChangingAccountInfo è una sottoclasse di UserDirectAction
(subclass ChangingPassword UserDirectAction) ComputingBrands.kif 4074-4074 ChangingPassword è una sottoclasse di UserDirectAction
(subclass ChangingUserName UserDirectAction) ComputingBrands.kif 4096-4096 ChangingUserName è una sottoclasse di UserDirectAction
(subclass Clicking UserDirectAction) ComputerInput.kif 1430-1430 Clicking è una sottoclasse di UserDirectAction
(subclass CreatingAnAccount UserDirectAction) ComputingBrands.kif 4137-4137 CreatingAnAccount è una sottoclasse di UserDirectAction
(subclass DataEntry UserDirectAction) ComputingBrands.kif 4316-4316 DataEntry è una sottoclasse di UserDirectAction
(subclass JoystickMotion UserDirectAction) ComputerInput.kif 1633-1633 JoystickMotion è una sottoclasse di UserDirectAction
(subclass KeyboardAction UserDirectAction) ComputerInput.kif 1224-1224 KeyboardAction è una sottoclasse di UserDirectAction
(subclass LoggingIn UserDirectAction) ComputingBrands.kif 3959-3959 LoggingIn è una sottoclasse di UserDirectAction
(subclass LoginFailure UserDirectAction) ComputingBrands.kif 4008-4008 LoginFailure è una sottoclasse di UserDirectAction
(subclass ScrollWheelRotating UserDirectAction) ComputerInput.kif 1664-1664 ScrollWheelRotating è una sottoclasse di UserDirectAction
(subclass SlidingComputerInputDeviceAction UserDirectAction) ComputerInput.kif 1516-1516 SlidingComputerInputDeviceAction è una sottoclasse di UserDirectAction
(subclass SupplyingEyeScan UserDirectAction) ComputingBrands.kif 4023-4023 SupplyingEyeScan è una sottoclasse di UserDirectAction
(subclass SupplyingFingerprint UserDirectAction) ComputingBrands.kif 4022-4022 SupplyingFingerprint è una sottoclasse di UserDirectAction
(subclass TouchSurfaceAction UserDirectAction) ComputerInput.kif 1533-1533 TouchSurfaceAction è una sottoclasse di UserDirectAction
(termFormat EnglishLanguage UserDirectAction "user direct action") domainEnglishFormat.kif 65675-65675

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


(domainSubclass udaCanSignify 1 UserDirectAction) ComputerInput.kif 1717-1717 Il numero 1 argomento udaCanSignify è una sottoclasse diUserDirectAction

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