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

Show
Ignore:
Timestamp:
06/05/10 16:30:51 (12 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/IntersectionOfTwoClasses

    v0 v1  
     1=== Base Template !IntersectionOf2Classes === 
     2 
     3[[br]]!IntersectionOf2Classes is a template for expressing that a class is the intersection of two classes.  
     4[[br]] 
     5[[br]]!IntersectionOf2Classes(a, b, c) means that c is the intersection of a and b.  
     6[[br]] 
     7[[br]]Roles:  
     8[[br]]1 hasClass1 Class  
     9[[br]]2 hasClass2 Class  
     10[[br]]3 hasClassIntersection Class  
     11 
     12Axiom:  
     13{{{ 
     14IntersectionOf2Classes(x1, x2, x3) <->  
     15Class(x1) &  
     16Class(x2) &  
     17Class(x3) &  
     18exists y(EnumeratedSetOf2Classes(x1, x2, y) &  
     19IntersectionOfSetOfClassTemplate(y, x3)) .  
     20}}} 
     21 
     22NOTE See 8.3 for further information on the representation used in this template.  
Home
About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search