| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 477-477 | 电脑输出设备 是 电脑硬件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 483-483 | TouchScreen 是 电脑输出设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 493-493 | 电脑终端 是 电脑输出设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1831-1831 | 打印机 是 电脑输出设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 118-118 | ComputerIODevice 是 电脑输出设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 138-138 | ComputerDisplay 是 电脑输出设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 518-518 | ComputerLoudspeaker 是 电脑输出设备 的 subclass |
|
|