DataTransfer(data transfer) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 92-93 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1724-1724 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 91-91 | Data transfer is a subclass of computer process |
appearance as argument number 2 |
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. | ComputerInput.kif 2659-2659 | Network communication 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. | domainEnglishFormat.kif 18600-18600 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18599-18599 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18598-18598 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3552-3557 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3545-3550 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3217-3229 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1736-1746 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 676-684 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2012-2021 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1712-1717 |
|