Changes between Version 2 and Version 3 of SigMmt/Templates/SpecializationAsEndOneUniversalRestriction
- Timestamp:
- 06/05/10 16:43:20 (14 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
SigMmt/Templates/SpecializationAsEndOneUniversalRestriction
v2 v3 11 11 [[br]] 12 12 [[br]]Roles: 13 [[br]]1 hasSubrelation ClassOfRelationship14 [[br]]2 hasSuperrelation ClassOfRelationship13 [[br]]1 hasSubrelation !ClassOfRelationship 14 [[br]]2 hasSuperrelation !ClassOfRelationship 15 15 16 16 Axiom: