No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 437-437 | 子類 ComputerTouchscreen and TouchSensitiveComputerInputDevice |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 438-438 | 子類 ComputerTouchscreen and ComputerScreen |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 446-446 | 子類 ComputerTouchscreenKeyboard and ComputerTouchscreen |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 466-466 | 子類 ComputerTouchscreenKeypad and ComputerTouchscreen |