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 |
电脑终端 是 ComputerIODevice 的 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 494-494 |
电脑终端 是 DataDisplayDevice 的 subclass |