| Harmless(harmless) | | harmlessly |
| appearance as argument number 1 |
|
|
| (documentation Harmless EnglishLanguage "An Attribute stating that the Process did not cause harm - in effect, that it was not a case of Damaging.") | Mid-level-ontology.kif 30582-30583 | |
| (instance Harmless RelationalAttribute) | Mid-level-ontology.kif 30581-30581 | Harmless is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Harmless "harmless") | domainEnglishFormat.kif 64993-64993 |
| antecedent |
|
|
| (<=> (manner ?P Harmless) (and (not (instance ?P Damaging)) (not (exists (?P2) (and (instance ?P2 Damaging) (subProcess ?P2 ?P)))) (not (exists (?P2) (and (instance ?P2 Damaging) (causes ?P ?P2)))))) |
Mid-level-ontology.kif 30585-30599 | 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 |
|
|
|