![]() |
![]() ![]() ![]()
|
![]() |
|
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 1723-1723 | |
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 3485-3485 | 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 3586-3586 | Installation is a subclass of data transfer |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18609-18609 | Installation is a subclass of data transfer |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18608-18608 | Installation is a subclass of data transfer |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18607-18607 | Installation is a subclass of data transfer |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3547-3552 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3540-3545 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3213-3225 |
|
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 785-793 |
|
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 1843-1848 |
|
![]() |
![]() |