|
|
   Leech
|
|
|
| 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 と ComputerTouchpad は disjoint では |
| (termFormat EnglishLanguage ComputerTouchpad "computer touchpad") | domainEnglishFormat.kif 64678-64678 | ComputerScreen と ComputerTouchpad は 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 |
|
|
|
|