ReusingAResource(reusing a resource) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2105-2105 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2104-2104 | Reusing a resource is a subclass of computer process |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49866-49866 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49865-49865 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49864-49864 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2112-2120 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2107-2110 |
|
![]() |
![]() |