(=>
(and
(instance ?KEY ComputerKeyboardKey)
(instance ?KEYBOARD1 ComputerKeyboard_Generic)
(component ?KEY ?KEYBOARD1)
(instance ?KEYBOARD2 ComputerKeyboard_Generic)
(component ?KEY ?KEYBOARD2))
(equal ?KEYBOARD1 ?KEYBOARD2)) |
ComputerInput.kif 267-274 |
If X is an instance of computer keyboard key, Y is an instance of generic computer keyboard, X is a component of Y, Z is an instance of generic computer keyboard, and X is a component of Z, then equal Y and Z |
(=>
(and
(instance ?ACT ShiftKeyHoldDown)
(patient ?ACT ?KEY)
(instance ?KEY ComputerKeyboardKey))
(instance ?KEY ShiftKey)) |
ComputerInput.kif 1294-1299 |
If X is an instance of shift key hold down, Y is a patient of X, and Y is an instance of computer keyboard key, then Y is an instance of shift key |
(=>
(and
(instance ?ACT ControlKeyHoldDown)
(patient ?ACT ?KEY)
(instance ?KEY ComputerKeyboardKey))
(instance ?KEY ControlKey)) |
ComputerInput.kif 1315-1320 |
If X is an instance of control key hold down, Y is a patient of X, and Y is an instance of computer keyboard key, then Y is an instance of control key |
(=>
(and
(instance ?ACT AltKeyHoldDown)
(patient ?ACT ?KEY)
(instance ?KEY ComputerKeyboardKey))
(instance ?KEY AltKey)) |
ComputerInput.kif 1338-1343 |
If X is an instance of alt key hold down, Y is a patient of X, and Y is an instance of computer keyboard key, then Y is an instance of alt key |
(=>
(and
(instance ?ACT FunctionKeyHoldDown)
(patient ?ACT ?KEY)
(instance ?KEY ComputerKeyboardKey))
(instance ?KEY FunctionKey)) |
ComputerInput.kif 1362-1367 |
If X is an instance of function key hold down, Y is a patient of X, and Y is an instance of computer keyboard key, then Y is an instance of function key |
(=>
(and
(instance ?ACT CharacterKeyPress)
(patient ?ACT ?KEY)
(instance ?KEY ComputerKeyboardKey))
(instance ?KEY CharacterKey)) |
ComputerInput.kif 1393-1398 |
If X is an instance of character key press, Y is a patient of X, and Y is an instance of computer keyboard key, then Y is an instance of character key |
(=>
(and
(instance ?ACT SpecialCharacterPress)
(patient ?ACT ?KEY)
(instance ?KEY ComputerKeyboardKey))
(instance ?KEY SpecialComputerKeyboardKey)) |
ComputerInput.kif 1418-1423 |
If X is an instance of special character press, Y is a patient of X, and Y is an instance of computer keyboard key, then Y is an instance of special computer keyboard key |
(=>
(and
(instance ?ACT EnterKeyPress)
(patient ?ACT ?KEY)
(instance ?KEY ComputerKeyboardKey))
(instance ?KEY EnterKey)) |
ComputerInput.kif 1437-1442 |
If X is an instance of enter key press, Y is a patient of X, and Y is an instance of computer keyboard key, then Y is an instance of enter key |
Entity