No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 91-91 | Data transfer is a subclass of computer process |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3489-3489 | Backup is a subclass of data transfer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3591-3591 | Installation is a subclass of data transfer |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2659-2659 | Network communication is a subclass of data transfer |