| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 170-170 | 子類 ComputerInputButton and 電腦輸入設備 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 176-176 | 子類 MouseButton and ComputerInputButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 179-179 | 子類 PhysicalRightCIButton and ComputerInputButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 185-185 | 子類 PhysicalLeftCIButton and ComputerInputButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 191-191 | 子類 RightCIButton and ComputerInputButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 197-197 | 子類 LeftCIButton and ComputerInputButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 215-215 | 子類 MiddleCIButton and ComputerInputButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 239-239 | 子類 ComputerKeyboardKey and ComputerInputButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 364-364 | 子類 TouchpadKey and ComputerInputButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 929-929 | 子類 GUIButton and ComputerInputButton |
|
|