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)) . 
Home
About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search