ComputerTouchscreen - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ComputerTouchscreen EnglishLanguage "A touch-sensitive ComputerScreen for accepting point and click input on its display surface. The device is operated by moving (normally) a finger across the surface of the device. Clicking is achieved by tapping the surface. Multi-finger gestures may have other effects.")	ComputerInput.kif 440-444
(subclass ComputerTouchscreen ComputerScreen)	ComputerInput.kif 438-438	Computer touchscreen is a subclass of computer screen
(subclass ComputerTouchscreen TouchSensitiveComputerInputDevice)	ComputerInput.kif 437-437	Computer touchscreen is a subclass of touch sensitive computer input device

appearance as argument number 2

(subclass ComputerTouchscreenKeyboard ComputerTouchscreen)	ComputerInput.kif 446-446	Computer touchscreen keyboard is a subclass of computer touchscreen
(subclass ComputerTouchscreenKeypad ComputerTouchscreen)	ComputerInput.kif 466-466	Computer touchscreen keypad is a subclass of computer touchscreen
(termFormat EnglishLanguage ComputerTouchscreen "computer touchscreen")	domainEnglishFormat.kif 64733-64733	Computer touchscreen keypad is a subclass of computer touchscreen

antecedent

(=>
    (and
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?TOUCHSCREEN)
        (instance ?TOUCHSCREEN ComputerTouchscreen))
    (instance ?ACT ScreenTouchAction))

ComputerInput.kif 1594-1599

If a process is an instance of user direct action and an entity is a patient of the process and the entity is an instance of computer touchscreen,
then the process is an instance of screen touch action

consequent

(=> (and (instance ?ACT ScreenTouchAction) (patient ?ACT ?TOUCHSURF) (instance ?TOUCHSURF TouchSensitiveComputerInputDevice)) (instance ?TOUCHSURF ComputerTouchscreen))	ComputerInput.kif 1587-1592	If a process is an instance of screen touch action and an entity is a patient of the process and the entity is an instance of touch sensitive computer input device, then the entity is an instance of computer touchscreen
(=> (instance ?ACT ScreenTouchAction) (exists (?TOUCHSCREEN) (and (patient ?ACT ?TOUCHSCREEN) (instance ?TOUCHSCREEN ComputerTouchscreen))))	ComputerInput.kif 1580-1585	If a process is an instance of screen touch action, then there exists an entity such that the entity is a patient of the process and the entity is an instance of computer touchscreen
(=> (instance ?KEYBOARD ComputerTouchscreenKeyboard) (exists (?SCREEN) (and (instance ?SCREEN ComputerTouchscreen) (displayedUpon ?KEYBOARD ?SCREEN))))	ComputerInput.kif 457-462	If an image is an instance of computer touchscreen keyboard, then there exists a computer display such that the computer display is an instance of computer touchscreen and the image is displayed on the computer display
(=> (instance ?T TabletComputer) (exists (?K) (and (instance ?K ComputerTouchscreen) (part ?K ?T))))	Mid-level-ontology.kif 29847-29852	If an object is an instance of tablet computer, then there exists another object such that the other object is an instance of computer touchscreen and the other object is a part of the object

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

KB Term:			Term intersection

English Word: