Base Template InstanceOfIndirectProperty

This template is for expressing the classified possession by an individual of an indirect property.

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.

Roles:
1 hasPropertyType ClassOfIndirectProperty
2 hasPropertyPossessor PossibleIndividual
3 hasProperty Property

Axiom:

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