No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 91-91 | DataTransfer e' uma sub-classe de ComputerProcess |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3489-3489 | ComputerBackingUp e' uma sub-classe de DataTransfer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3591-3591 | SoftwareInstallation e' uma sub-classe de DataTransfer |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2659-2659 | NetworkCommunication e' uma sub-classe de DataTransfer |
![]() |