Changes between Initial Version and Version 1 of SigMmt/Templates/ClassifiedInvolvement

Show
Ignore:
Timestamp:
06/05/10 17:30:04 (14 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/ClassifiedInvolvement

    v0 v1  
     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 
     14Axiom:  
     15{{{ 
     16ClassifiedInvolvement(x1, x2, x3) <->  
     17Thing(x1) &  
     18Activity(x2) &  
     19ClassOfInvolvementByReference(x3) &  
     20exists u(InvolvementByReferenceTriple(u, x1, x2) &  
     21ClassificationTemplate(u, x3)) .  
     22}}} 
Home
About PCA
Reference Data Services
Projects
Workgroups