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.
1 hasPropertyType ClassOfIndirectProperty
2 hasPropertyPossessor PossibleIndividual
3 hasProperty Property
InstanceOfIndirectProperty(x1, x2, x3) <-> ClassOfIndirectProperty(x1) & PossibleIndividual(x2) & Property(x3) & exists u(ClassificationOfRelationship(u, x1) & IndirectPropertyTriple(u, x2, x3)) .