No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 539-539 |
每个 InternalComputerLoudspeaker 是 电脑硬件 的 part |
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 467-467 |
电脑输入设备 是 电脑硬件 的 subclass |
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 288-288 |
硬件系统 是 电脑硬件 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1668-1668 |
感测器 是 电脑硬件 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16308-16308 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16307-16307 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16306-16306 |
|