P2 has type (is type of) in version 7.1.1

Domain:
E1 CRM Entity
Range:
E55 Type
Subproperty of:
No subproperties found
Superproperty of:
E1 CRM Entity. P137 exemplifies (is exemplified by): E55 Type, E13 Attribute Assignment. P177 assigned property of type (is type of property assigned): E55 Type
Quantification:
many to many (0,n,0,n)
Scope Note:

This property allows sub typing of CIDOC CRM entities –a form of specialisation – through the use of a terminological hierarchy, or thesaurus.

The CIDOC CRM is intended to focus on the high-level entities and relationships needed to describe data structures. Consequently, it does not specialise entities any further than is required for this immediate purpose. However, entities in the isA hierarchy of the CIDOC CRM may by specialised into any number of sub entities, which can be defined in the E55 Type hierarchy. E41 Appellation, for example, may be specialised into “e-mail address”, “telephone number”, “post office box”, “URL” etc. none of which figures explicitly in the CIDOC CRM hierarchy. A comprehensive explanation about refining CIDOC CRM concepts by E55 Type is given in the section “About Types” in the section on “Specific Modelling Constructs” of this document.

This property is a shortcut for the path from E1 CRM Entity through P41i was classified by, E17 Type Assignment, P42 assigned to E55 Type.

Examples:
In First Order Logic:
P2(x,y) ⇒ E1(x), P2(x,y) ⇒ E55(y), P2(x,y) ⇐ (∃z) [E17(z)] ˄ P41i(x,z) ˄ P42(z,y)]