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

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


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

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


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

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