| 1 | === Base Template !ClassifiedInvolvement === |
| 2 | |
| 3 | [[br]]This template is for stating that a thing is involved in an activity, where the kind of involvement is classified. |
| 4 | [[br]] |
| 5 | [[br]]NOTE 1 This template is also suitable for weak kinds of involvement, “by reference”. |
| 6 | [[br]] |
| 7 | [[br]]!ClassifiedInvolvement(a, b, c) means that a is an thing and b is an activity and c is a type of involvement. a is involved in activity b and c is the type of involvement. |
| 8 | [[br]] |
| 9 | [[br]]Roles: |
| 10 | [[br]]1 hasInvolved Thing |
| 11 | [[br]]2 hasInvolver !activity Activity |
| 12 | [[br]]3 hasInvolvementType !ClassOfInvolvementByReference |
| 13 | |
| 14 | Axiom: |
| 15 | {{{ |
| 16 | ClassifiedInvolvement(x1, x2, x3) <-> |
| 17 | Thing(x1) & |
| 18 | Activity(x2) & |
| 19 | ClassOfInvolvementByReference(x3) & |
| 20 | exists u(InvolvementByReferenceTriple(u, x1, x2) & |
| 21 | ClassificationTemplate(u, x3)) . |
| 22 | }}} |