Proposed Template ParticipatorInActivity


This is a template for describing a typed participation of a possible individual in an activity.
ClassifiedParticipation(a, b, c) means that a is a PossibleIndividual, b is an !Activity, and c is a type of participation of a in b.

Roles:
1 hasPart PossibleIndividual
2 hasWhole !Activity
3 hasContext ClassOfParticipation

Axiom:

ClassifiedParticipation(x1, x2, x3) <-> 
PossibleIndividual(x1) & 
Activity(x2) & 
ClassOfParticipation(x3) & 
exists y1 (ParticipationTriple(y1, x1, x2) & ClassificationTemplate(y1, x3)) . 

EXAMPLE The statement ClassifiedParticipation(Person123, Activity456, PERSON IS A MANAGER)

Home
About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search