| ComputerMouse | |
| appearance as argument number 1 |
|
|
| (disjoint ComputerMouse ComputerKeyboard) | ComputerInput.kif 398-398 | ComputerMouse 和 % 2 是 disjoint |
| (documentation ComputerMouse EnglishLanguage "A ComputerInputDevice that fits in a person's hand for accepting point and click input on a flat 2D surface. A computer mouse has one or more buttons and may have a ScrollWheel as well. A mouse may be connected to a computer by a power and signalling cable or may have a wireless connection.") | ComputerInput.kif 384-387 | ComputerMouse 和 % 2 是 disjoint |
| (partTypes ComputerMouse MouseButton) | ComputerInput.kif 400-400 | 每个 ComputerMouse 是 MouseButton 的 part |
| (subclass ComputerMouse ComputerInputDevice) | ComputerInput.kif 383-383 | ComputerMouse 是 电脑输入设备 的 subclass |
| appearance as argument number 2 |
|
|
| (disjoint ScrollWheel ComputerMouse) | ComputerInput.kif 411-411 | ScrollWheel 和 % 2 是 disjoint |
| (disjoint TouchSensitiveComputerInputDevice ComputerMouse) | ComputerInput.kif 423-423 | TouchSensitiveComputerInputDevice 和 % 2 是 disjoint |
| (termFormat EnglishLanguage ComputerMouse "computer mouse") | domainEnglishFormat.kif 64730-64730 | TouchSensitiveComputerInputDevice 和 % 2 是 disjoint |
| (typicalPart MouseButton ComputerMouse) | ComputerInput.kif 401-401 | MouseButton typically 是 ComputerMouse 的 part |
| antecedent |
|
|
| (=> (instance ?PROCESS (OperatingFn ComputerMouse)) (exists (?SURFACE) (and (instance ?SURFACE Object) (attribute ?SURFACE Flat) (eventLocated ?PROCESS ?SURFACE)))) |
ComputerInput.kif 389-396 |
| consequent |
|
|
| (=> (instance ?ACT MouseButtonHoldDown) (exists (?MOUSE) (and (patient ?ACT ?MOUSE) (instance ?MOUSE ComputerMouse)))) |
ComputerInput.kif 1509-1514 |
|
| (=> (instance ?ACT MouseMoving) (exists (?MOUSE) (and (patient ?ACT ?MOUSE) (instance ?MOUSE ComputerMouse)))) |
ComputerInput.kif 1526-1531 |
|
|
|
|