No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 91-91 | DataTransfer est une sous-classe de ComputerProcess |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3489-3489 | ComputerBackingUp est une sous-classe de DataTransfer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3591-3591 | SoftwareInstallation est une sous-classe de DataTransfer |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2659-2659 | NetworkCommunication est une sous-classe de DataTransfer |