Changes between Version 6 and Version 7 of SigMmt/Templates/ParticipatorInActivity

Timestamp:

01/17/11 08:22:08 (14 years ago)

Author:

mfedorov (IP: 93.186.61.242)

Comment:

--

SigMmt/Templates/ParticipatorInActivity

@@ -14 +14 @@
 Axiom: 
 {{{
-!ParticipatorInActivity (x1, x2, x3, x4, x5) <-> 
-!Activity(x1) & 
-!ClassOfActivity (x2) & 
-!PossibleIndividual(x3) & 
-!RoleAndDomain (x4) & 
-!ClassOfIndividual(x5) & 
-!ClassificationTemplate(x1,x2) & 
-  exists y1 (!ParticipationTriple(y1, x3, x1) &
+ParticipatorInActivity (x1, x2, x3, x4, x5) <-> 
+Activity(x1) & 
+ClassOfActivity (x2) & 
+PossibleIndividual(x3) & 
+RoleAndDomain (x4) & 
+ClassOfIndividual(x5) & 
+ClassificationTemplate(x1,x2) & 
+  exists y1 (ParticipationTriple(y1, x3, x1) &
     exists y2 ( exists y3 (
-    !ClassOfParticipationTriple(y3, y2, x2) &
-    !SpecializationTemplate(y2, x4) &
-    !SpecializationTemplate(y2, x5) &
-    !ClassificationTemplate(x3, y2) &
-    !ClassificationTemplate(y1, y3) ))) .
+    ClassOfParticipationTriple(y3, y2, x2) &
+    SpecializationTemplate(y2, x4) &
+    SpecializationTemplate(y2, x5) &
+    ClassificationTemplate(x3, y2) &
+    ClassificationTemplate(y1, y3) ))) .
 }}}