Template IndirectPropertyDateAndTime

This is a template for assigning a typed indirect property to an individual which is represented by Date and Time.

IndirectPropertyDateAndTime(a, b, c) means that means that a is a ClassOfIndirectProperty, b a (temporal part of) PossibleIndividual to which the relation applies and c is a RepresentationOfGregorianDateAndUtcTime that represents the value of the Property.

Roles:
1 hasPropertyType ClassOfIndirectProperty
2 hasPropertyPossessor PossibleIndividual
3 valPropertyValue RepresentationOfGregorianDateAndUtcTime

Axiom:

IndirectPropertyDateAndTime(x1,x2,x3) <->
ClassOfIndirectProperty(x1) &
PossibleIndividual(x2) & 
RepresentationOfGregorianDateAndUtcTime(x3) & 
exists p (Property(p) &
   InstanceOfIndirectProperty(x1,x2,p) &
   ClassOfRepresentationOfThingTemplate(x3,p)). 

EXAMPLE statement IndirectPropertyDateAndTime(REVIEW DATE, P&ID DIAGRAM R3.1000.ABC, 2010-11-21T06:00)