| 1 | === Base Template !InstanceOfIndirectProperty === |
| 2 | |
| 3 | [[br]]This template is for expressing the classified possession by an individual of an indirect property. |
| 4 | [[br]] |
| 5 | [[br]]!InstanceOfIndirectProperty(a, b, c) means that a is is a !ClassOfIndirectProperty, |
| 6 | b a (temporal part of) !PossibleIndividual to which the relation applies and c is the instance |
| 7 | of Property. b has a a type of !ClassOfIndirectProperty, which has c instance of Property. |
| 8 | [[br]] |
| 9 | [[br]]Roles: |
| 10 | [[br]]1 hasPropertyType !ClassOfIndirectProperty |
| 11 | [[br]]2 hasPropertyPossessor !PossibleIndividual |
| 12 | [[br]]3 hasProperty Property |
| 13 | |
| 14 | Axiom: |
| 15 | {{{ |
| 16 | InstanceOfIndirectProperty(x1, x2, x3) <-> |
| 17 | ClassOfIndirectProperty(x1) & |
| 18 | PossibleIndividual(x2) & |
| 19 | Property(x3) & |
| 20 | exists u(ClassificationOfRelationship(u, x1) & |
| 21 | IndirectPropertyTriple(u, x2, x3)) . |
| 22 | }}} |