| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 164-164 | ComputerKeyboard_Generic e' uma sub-classe de ComputerInputDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 369-369 | ComputerKeyboard e' uma sub-classe de ComputerKeyboard_Generic |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 377-377 | ComputerKeypad e' uma sub-classe de ComputerKeyboard_Generic |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 449-449 | ComputerTouchscreenKeyboard e' uma sub-classe de ComputerKeyboard_Generic |
|
|