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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 440-444
(subclass ComputerTouchscreen ComputerScreen) ComputerInput.kif 438-438
(subclass ComputerTouchscreen TouchSensitiveComputerInputDevice) ComputerInput.kif 437-437

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


(subclass ComputerTouchscreenKeyboard ComputerTouchscreen) ComputerInput.kif 446-446
(subclass ComputerTouchscreenKeypad ComputerTouchscreen) ComputerInput.kif 466-466
(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 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