FunctionKeyHoldDown |
appearance as argument number 1 |
(disjoint FunctionKeyHoldDown AltKeyHoldDown) | ComputerInput.kif 1335-1335 | FunctionKeyHoldDown 和 % 2 是 disjoint |
(disjoint FunctionKeyHoldDown ControlKeyHoldDown) | ComputerInput.kif 1337-1337 | FunctionKeyHoldDown 和 % 2 是 disjoint |
(disjoint FunctionKeyHoldDown ShiftKeyHoldDown) | ComputerInput.kif 1336-1336 | FunctionKeyHoldDown 和 % 2 是 disjoint |
(documentation FunctionKeyHoldDown EnglishLanguage "A FunctionKeyHoldDown is a UserDirectAction of pressing and holding down the FunctionKey on a keyboard.") | ComputerInput.kif 1331-1333 | |
(subclass FunctionKeyHoldDown KeyHoldDown) | ComputerInput.kif 1329-1329 | FunctionKeyHoldDown 是 KeyHoldDown 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage FunctionKeyHoldDown "function key hold down") | domainEnglishFormat.kif 64902-64902 |
antecedent |
(=> (and (instance ?ACT FunctionKeyHoldDown) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY FunctionKey)) |
ComputerInput.kif 1346-1351 |
|
(=> (instance ?ACT FunctionKeyHoldDown) (exists (?KEY) (and (instance ?KEY FunctionKey) (patient ?ACT ?KEY)))) |
ComputerInput.kif 1339-1344 |
|