Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TouchSurfaceDoubleFingerSlide(touch surface double finger slide) |
| appearance as argument number 1 |
|
| (subclass TouchSurfaceDoubleFingerSlide TouchSurfaceAction) | ComputerInput.kif 1579-1579 | Touch surface double finger slide is a subclass of touch surface action |
| (documentation TouchSurfaceDoubleFingerSlide EnglishLanguage "A TouchSurfaceDoubleFingerSlide is a TouchSurfaceAction of touching the surface with two fingers and moving them in different directions.") | ComputerInput.kif 1580-1581 | Touch surface double finger slide is a subclass of touch surface action |
| (udaCanSignify TouchSurfaceDoubleFingerSlide ResizingScreenObject) | ComputerInput.kif 2338-2338 | Touch surface double finger slide isgnifies resizing screen object |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TouchSurfaceDoubleFingerSlide "touch surface double finger slide") | domainEnglishFormat.kif 65616-65616 |
| antecedent |
|
|
| (=> (instance ?ACTION TouchSurfaceDoubleFingerSlide) (exists (?FINGER1 ?FINGER2) (and (instrument ?ACTION ?FINGER1) (instance ?FINGER1 Finger) (instrument ?ACTION ?FINGER2) (not (equal ?FINGER1 ?FINGER2)) (instance ?FINGER2 Finger)))) |
ComputerInput.kif 1583-1591 | If X is an instance of touch surface double finger slide, then All of the following hold: (1) there exist Y (2) Z such that Y is an instrument for X (3) Y is an instance of finger (4) Z is an instrument for X (5) equal Y (6) Z (7) Z is an instance of finger |
|