No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 495-498 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 125-136 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 123-123 |
子類 電腦終端 and ComputerIODevice |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 493-493 |
子類 電腦終端 and 電腦輸出設備 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 494-494 |
子類 電腦終端 and DataDisplayDevice |