=== Template !IndirectPropertyDateAndTime ===
[[BR]]This is a template for assigning a typed indirect property to an individual when the property value is represented by Date and Time.  

[[BR]]!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. 
[[BR]]
[[BR]]Roles:  
[[br]]1 hasPropertyType !ClassOfIndirectProperty 
[[br]]2 hasPropertyPossessor !PossibleIndividual 
[[br]]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)