TreeView Knowledge Base Browser

appearance as argument number 1

(disjoint UserDirectAction UserSignifiedAction)	ComputerInput.kif 1209-1209	UserDirectAction ist dijunkt von UserSignifiedAction %n{nicht}
(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 ist eine teilkategorie von Icon
(subclass UserDirectAction UserAction)	ComputerInput.kif 1180-1180	UserDirectAction ist eine teilkategorie von UserAction

appearance as argument number 2

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

appearance as argument number 3

(domainSubclass udaCanSignify 1 UserDirectAction)

ComputerInput.kif 1717-1717

Die Zahl 1 Argument von udaCanSignify ist eine teilkategorie von UserDirectAction %n{nicht}

antecedent

(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?JOYSTICK) (instance ?JOYSTICK Joystick)) (instance ?ACT JoystickMotion))	ComputerInput.kif 1645-1650	Wenn Process ist ein fall von UserDirectAction %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von Joystick %n{nicht}, dann ** Process ist ein fall von JoystickMotion %n{nicht}
(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHPAD) (instance ?TOUCHPAD ComputerTouchpad)) (instance ?ACT TouchPadAction))	ComputerInput.kif 1626-1631	Wenn Process ist ein fall von UserDirectAction %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von ComputerTouchpad %n{nicht}, dann ** Process ist ein fall von TouchPadAction %n{nicht}
(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHSCREEN) (instance ?TOUCHSCREEN ComputerTouchscreen)) (instance ?ACT ScreenTouchAction))	ComputerInput.kif 1594-1599	Wenn Process ist ein fall von UserDirectAction %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von ComputerTouchscreen %n{nicht}, dann ** Process ist ein fall von ScreenTouchAction %n{nicht}
(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHSURF) (instance ?TOUCHSURF TouchSensitiveComputerInputDevice)) (instance ?ACT TouchSurfaceAction))	ComputerInput.kif 1545-1550	Wenn Process ist ein fall von UserDirectAction %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von TouchSensitiveComputerInputDevice %n{nicht}, dann ** Process ist ein fall von TouchSurfaceAction %n{nicht}
(=> (instance ?ACTION UserDirectAction) (exists (?DEVICE) (and (patient ?ACTION ?DEVICE) (instance ?DEVICE ComputerInputDevice))))	ComputerInput.kif 1191-1196	Wenn Process ist ein fall von UserDirectAction %n{nicht}, dann es gibt Entity um Entity ist ein patient von Process %n{nicht} und ** Entity ist ein fall von ComputerInputDevice %n{nicht}
(=> (instance ?ACTION UserDirectAction) (exists (?SIG_ACTION) (and (represents ?ACTION ?SIG_ACTION) (instance ?SIG_ACTION UserSignifiedAction))))	ComputerInput.kif 1211-1216	Wenn Entity ist ein fall von UserDirectAction %n{nicht}, dann es gibt entity_ACTION um Entity drueckt entity_ACTION aus und entity_ACTION ist ein fall von UserSignifiedAction %n{nicht}

consequent

(=>
    (instance ?SIG_ACTION UserSignifiedAction)
    (exists (?DIR_ACTION)
        (and
            (represents ?DIR_ACTION ?SIG_ACTION)
            (instance ?DIR_ACTION UserDirectAction))))

ComputerInput.kif 1217-1222

Wenn entity_ACTION ist ein fall von UserSignifiedAction %n{nicht},
dann es gibt ** entity_ACTION um ** ** entity_ACTION drueckt ** entity_ACTION aus und ** ** entity_ACTION ist ein fall von UserDirectAction %n{nicht}

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

KB Term:			Term intersection

English Word: