![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
PhysicalViolence
|
|
|
| appearance as argument number 1 |
|
|
| (documentation PhysicalViolence EnglishLanguage "Violence is aggression that has extreme physical harm as its goal. [Source: OCEAS]") | emotion.kif 2477-2478 | |
| (subclass PhysicalViolence ViolentContest) | emotion.kif 2479-2479 | Violence is a subclass of violent contest |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PhysicalViolence "violence") | emotion.kif 2476-2476 |
| antecedent |
|
|
| (=> (and (instance ?PV PhysicalViolence) (agent ?PV ?A)) (modalAttribute (holdsDuring (WhenFn ?PV) (attribute ?A Anger)) Likely)) |
emotion.kif 2481-2489 | If X is an instance of violence and Y is an agent of X, then the statement anger is an attribute of Y holds during the time of existence of X has the modal force of likely |