Changes between Version 1 and Version 2 of SigMmt/Templates/SpecializationAsEndOneUniversalRestriction

Timestamp:

06/05/10 16:42:46 (14 years ago)

Author:

onnopaap (IP: 84.104.92.156)

Comment:

--

SigMmt/Templates/SpecializationAsEndOneUniversalRestriction

@@ -21 +21 @@
 exists y(SpecializationTriple(y, x1, x2)& 
 ClassificationTemplate(y, End1UniversalRestriction)) 
-
+}}}
 Axiom: 
+{{{
 SpecializationAsEnd2UniversalRestriction(x1, x2) <-> 
 ClassOfRelationship(x1) &