![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ShiftClicking(shift clicking) |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ShiftClicking "shift clicking") | domainEnglishFormat.kif 65487-65487 |
| antecedent |
|
|
| (=> (instance ?ACT ShiftClicking) (exists (?SHIFT) (and (subProcess ?SHIFT ?ACT) (instance ?SHIFT ShiftKeyHoldDown)))) |
ComputerInput.kif 1513-1518 | If X is an instance of shift clicking, then there exists Y such that Y is a subprocess of X and Y is an instance of shift key hold down |