| 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 30550-30551 | |
| (instance Harmless RelationalAttribute) | Mid-level-ontology.kif 30549-30549 | Harmless is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Harmless "harmless") | domainEnglishFormat.kif 65016-65016 |
| 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 30553-30567 | 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 |
|
|
|