| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 471-471 | ComputerKeyboard 是 电脑输入设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 369-369 | ComputerKeyboard 是 ComputerKeyboard_Generic 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 370-370 | ComputerKeyboard 是 Keyboard 的 subclass |
|
|