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.