Harmless
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30293-30294 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30292-30292 | Harmless is an instance of relational attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64968-64968 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30296-30310 | A process is performed in the manner harmless if and only if the process is not an instance of damaging and there doesn't exist the process2 such that the process2 is an instance of damaging and the process2 is a subprocess of the process and there doesn't exist the process2 such that the process2 is an instance of damaging and the process causes the process2 |