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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerTouchscreen

Sigma KEE - ComputerTouchscreen
ComputerTouchscreen

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 465-469
(subclass ComputerTouchscreen ComputerScreen) ComputerInput.kif 461-461 subclass ComputerTouchscreen and ComputerScreen
(subclass ComputerTouchscreen TouchSensitiveComputerInputDevice) ComputerInput.kif 460-460 subclass ComputerTouchscreen and TouchSensitiveComputerInputDevice

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


(classIntersection ComputerKeypad ComputerTouchscreen ComputerTouchscreenKeypad) ComputerInput.kif 492-492 classIntersection ComputerKeypad, ComputerTouchscreen and ComputerTouchscreenKeypad
(subclass ComputerTouchscreenKeyboard ComputerTouchscreen) ComputerInput.kif 471-471 subclass ComputerTouchscreenKeyboard and ComputerTouchscreen

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


(classIntersection ComputerScreen TouchSensitiveComputerInputDevice ComputerTouchscreen) ComputerInput.kif 462-463 classIntersection ComputerScreen, TouchSensitiveComputerInputDevice and ComputerTouchscreen

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


(=>
    (and
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?TOUCHSCREEN)
        (instance ?TOUCHSCREEN ComputerTouchscreen))
    (instance ?ACT ScreenTouchAction))
ComputerInput.kif 1623-1628

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


(=>
    (and
        (instance ?ACT ScreenTouchAction)
        (patient ?ACT ?TOUCHSURF)
        (instance ?TOUCHSURF TouchSensitiveComputerInputDevice))
    (instance ?TOUCHSURF ComputerTouchscreen))
ComputerInput.kif 1616-1621
(=>
    (instance ?ACT ScreenTouchAction)
    (exists (?TOUCHSCREEN)
        (and
            (patient ?ACT ?TOUCHSCREEN)
            (instance ?TOUCHSCREEN ComputerTouchscreen))))
ComputerInput.kif 1609-1614
(=>
    (instance ?KEYBOARD ComputerTouchscreenKeyboard)
    (exists (?SCREEN)
        (and
            (instance ?SCREEN ComputerTouchscreen)
            (displayedUpon ?KEYBOARD ?SCREEN))))
ComputerInput.kif 483-488
(=>
    (instance ?T TabletComputer)
    (exists (?K)
        (and
            (instance ?K ComputerTouchscreen)
            (part ?K ?T))))
Mid-level-ontology.kif 27771-27776


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