DataSaving(data saving) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2035-2038 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2034-2034 | Data saving is a subclass of computer process |
appearance as argument number 2 |
![]() |
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 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Media.kif 690-700 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2045-2050 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2040-2043 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2024-2032 |
|
![]() |
![]() |