| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 91-91 | 数据传输 是 电脑程序 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3489-3489 | ComputerBackingUp 是 数据传输 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3591-3591 | 安装 是 数据传输 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2659-2659 | NetworkCommunication 是 数据传输 的 subclass |
|
|