| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 91-91 | 子類 數據傳輸 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3489-3489 | 子類 ComputerBackingUp and 數據傳輸 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3591-3591 | 子類 安裝 and 數據傳輸 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2659-2659 | 子類 NetworkCommunication and 數據傳輸 |
|
|