Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Harmless
|
|
|
| appearance as argument number 1 |
|
|
| (instance Harmless RelationalAttribute) | Mid-level-ontology.kif 32939-32939 | Harmless is an instance of relational attribute |
| (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 32940-32941 | Harmless is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Harmless "harmless") | domainEnglishFormat.kif 64971-64971 |
| 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 32943-32957 | X is performed in the manner harmless if, only if X is not an instance of damaging, there doesn't exist Y such that Y is an instance of damaging, Y is a subprocess of X, there doesn't exist Y such that Y is an instance of damaging, and X causes Y |
|