![]() |
![]() ![]() ![]()
|
![]() |
|
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 1725-1725 | |
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 3454-3454 | Backup is a subclass of data transfer |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2655-2655 | NetworkCommunication is a subclass of data transfer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3554-3554 | Installation is a subclass of data transfer |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18591-18591 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18590-18590 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18589-18589 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |