No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 811-811 | 电脑组件 是 电脑硬件 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 70-70 | 电脑记忆 是 电脑组件 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 76-76 | 硬盘驱动器 是 电脑组件 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 83-83 | 中央处理器 是 电脑组件 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 825-825 | 网络适配器 是 电脑组件 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 730-730 | DiskDrive 是 电脑组件 的 subclass |