Version 2 (modified by onnopaap, 14 years ago)

--

Base Template LocationOfActivity


This is a template for stating where activities take place.
LocationOfActivity(a, b) means that a is an activity, b is a location, and that a takes place at b.

Roles:
1 hasActivity Activity
2 hasLocation SpatialLocation

Axiom:

LocationOfActivity(x1, x2) <-> 
Activity(x1) & 
SpatialLocation(x2) & 
InstanceOfRelation(ActivityLocation, x1, x2) . 

EXAMPLE The statement LocationOfActivity(Site Survey #23, Site No. 11)

NOTE LocationOfActivity is an RDL template because the reference individual ActivityLocation (a ClassOfRelationshipWithSignature) appears in its template axiom.

Home
About PCA
Reference Data Services
Projects
Workgroups