ComputerTouchpad - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ComputerTouchpad EnglishLanguage "A touch-sensitive ComputerInputDevice for accepting point and click input on a 2D surface. The device is operated by moving (normally) a finger across the surface of the device. Clicking may be achieved by clicking on an adjacent button or by tapping the surface.")	ComputerInput.kif 429-433
(subclass ComputerTouchpad TouchSensitiveComputerInputDevice)	ComputerInput.kif 427-427	ComputerTouchpad 是 TouchSensitiveComputerInputDevice 的 subclass

appearance as argument number 2

(disjoint ComputerScreen ComputerTouchpad)	ComputerInput.kif 435-435	ComputerScreen 和 % 2 是 disjoint
(termFormat EnglishLanguage ComputerTouchpad "computer touchpad")	domainEnglishFormat.kif 64709-64709	ComputerScreen 和 % 2 是 disjoint

antecedent

(=>
    (and
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?TOUCHPAD)
        (instance ?TOUCHPAD ComputerTouchpad))
    (instance ?ACT TouchPadAction))

ComputerInput.kif 1626-1631

consequent

(=>
    (instance ?ACT TouchPadAction)
    (exists (?TOUCHPAD)
        (and
            (patient ?ACT ?TOUCHPAD)
            (instance ?TOUCHPAD ComputerTouchpad))))

ComputerInput.kif 1619-1624