![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(disjoint GUIButton ComputerKeyboardKey) | ComputerInput.kif 935-935 | GUIButton is disjoint from ComputerKeyboardKey |
(havePartTypes ComputerKeyboard ComputerKeyboardKey) | ComputerInput.kif 375-375 | ComputerKeyboard has parts of type ComputerKeyboardKey |
(subclass CharacterKey ComputerKeyboardKey) | ComputerInput.kif 269-269 | CharacterKey is a subclass of ComputerKeyboardKey |
(subclass SpecialComputerKeyboardKey ComputerKeyboardKey) | ComputerInput.kif 273-273 | SpecialComputerKeyboardKey is a subclass of ComputerKeyboardKey |
appearance as argument number 3 |
![]() |
(domainSubclass PressingKeyFn 1 ComputerKeyboardKey) | ComputerInput.kif 1356-1356 | The number 1 argument of PressingKeyFn is a subclass of ComputerKeyboardKey |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |