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

Show
Ignore:
Timestamp:
06/05/10 17:24:23 (11 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/BeginningOfIndividual

    v0 v1  
     1=== Base Template !BeginningOfIndividual === 
     2 
     3[[br]]This is a template for stating start time of existence.  
     4[[br]]!BeginningOfIndividual(a, b) means that a is an individual and b is a point in time, and that a begins to exist at b.  
     5[[br]] 
     6[[br]]Roles:  
     7[[br]]1 hasIndividual !PossibleIndividual  
     8[[br]]2 hasStartTime !RepresentationOfGregorianDateAndUtcTime  
     9 
     10Axiom:  
     11{{{ 
     12BeginningOfIndividual(x1, x2) <->  
     13PossibleIndividual(x1) &  
     14RepresentationOfGregorianDateAndUtcTime(x2) &  
     15exists u(PointInTime(u) & BeginningTemplate(u, x1) &  
     16ClassOfRepresentationOfThingTemplate(x2, u)) .  
     17}}} 
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