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

Show
Ignore:
Timestamp:
06/05/10 17:25:53 (12 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/BeginningOfTemporalPart

    v0 v1  
     1=== Base Template !BeginningOfTemporalPart === 
     2 
     3[[br]]This template is for stating that an individual is a temporal part of another, initiated at a time represented by a timestamp data value.  
     4[[br]] 
     5[[br]]!BeginningOfTemporalPart(a, b, c) means that a is an individual and b is an individual and c is a point in time, that a is a temporal part of b, and that a begins to exist at c.  
     6[[br]] 
     7[[br]]Roles:  
     8[[br]]1 hasPart !PossibleIndividual  
     9[[br]]2 hasWhole !PossibleIndividual  
     10[[br]]3 hasStartTime !RepresentationOfGregorianDateAndUtcTime  
     11 
     12Axiom:  
     13{{{ 
     14BeginningOfTemporalPart(x1, x2, x3) <->  
     15PossibleIndividual(x1) &  
     16PossibleIndividual(x2) &  
     17RepresentationOfGregorianDateAndUtcTime(x3) &  
     18TemporalWholePartTemplate(x1, x2) &  
     19BeginningOfIndividual(x1, x3) .  
     20}}} 
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