=== Base Template !InstanceOfIndirectProperty ===

[[br]]This template is for expressing the classified possession by an individual of an indirect property. 
[[br]]
[[br]]!InstanceOfIndirectProperty(a, b, c) means that a is is a !ClassOfIndirectProperty, 
b a (temporal part of) !PossibleIndividual to which the relation applies and c is the instance 
of Property. b has a a type of !ClassOfIndirectProperty, which has c instance of Property. 
[[br]]
[[br]]Roles: 
[[br]]1 hasPropertyType !ClassOfIndirectProperty 
[[br]]2 hasPropertyPossessor !PossibleIndividual 
[[br]]3 hasProperty Property 

Axiom: 
{{{
InstanceOfIndirectProperty(x1, x2, x3) <-> 
ClassOfIndirectProperty(x1) & 
PossibleIndividual(x2) & 
Property(x3) & 
exists u(ClassificationOfRelationship(u, x1) & 
IndirectPropertyTriple(u, x2, x3)) . 
}}}