has type (is type of) – P2

P2 has type (is type of)

Quantification:

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:

“enquiries@cidoc-crm.org” (E41) has type e-mail address (E55). (fictitious)

In First Order Logic:

  • P2(x,y) ⇒ E1(x)
  • P2(x,y) ⇒ E55(y)

Scope notes

Examples

Additional notes

Identifier: P2

Official URI: http://www.cidoc-crm.org/cidoc-crm/P2_has_type
OntoME URI: https://ontome.net/ontology/p2

Domain and range

crm:E1 CRM Entity → P2 has type (is type of) → crm:E55 Type  (Quantifiers 0,n:0,n)

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments