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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerTouchscreen

Sigma KEE - ComputerTouchscreen
ComputerTouchscreen(computer touchscreen)

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

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


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

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


(=>
    (and
        (instance ?ACT ScreenTouchAction)
        (patient ?ACT ?TOUCHSURF)
        (instance ?TOUCHSURF TouchSensitiveComputerInputDevice))
    (instance ?TOUCHSURF ComputerTouchscreen))
ComputerInput.kif 1587-1592
(=>
    (instance ?ACT ScreenTouchAction)
    (exists (?TOUCHSCREEN)
        (and
            (patient ?ACT ?TOUCHSCREEN)
            (instance ?TOUCHSCREEN ComputerTouchscreen))))
ComputerInput.kif 1580-1585
(=>
    (instance ?KEYBOARD ComputerTouchscreenKeyboard)
    (exists (?SCREEN)
        (and
            (instance ?SCREEN ComputerTouchscreen)
            (displayedUpon ?KEYBOARD ?SCREEN))))
ComputerInput.kif 457-462
(=>
    (instance ?T TabletComputer)
    (exists (?K)
        (and
            (instance ?K ComputerTouchscreen)
            (part ?K ?T))))
Mid-level-ontology.kif 29563-29568


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