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 |
子類 電腦組件 and 電腦硬件 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 467-467 |
子類 電腦輸入設備 and 電腦硬件 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 477-477 |
子類 電腦輸出設備 and 電腦硬件 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 288-288 |
子類 硬件系統 and 電腦硬件 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1668-1668 |
子類 感測器 and 電腦硬件 |
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 |
|