has type (is type of) – P2

P2 has type (is type of)

Domain:

Range:

Superproperty of:

Quantification:

0,n:0,n

Scope note:

This property allows sub typing of CRM entities - a form of specialisation – through the use of a terminological hierarchy, or thesaurus. The 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 CRM may by specialised into any number of sub entities, which can be defined in the E55 Type hierarchy. E51 Contact Point, for example, may be specialised into “e-mail address”, “telephone number”, “post office box”, “URL” etc. none of which figures explicitly in the CRM hierarchy. Sub typing obviously requires consistency between the meaning of the terms assigned and the more general intent of the CRM entity in question.

Examples:

No example yet.

In First Order Logic:

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

Scope Notes

Show Scope note Language Namespace View details Comments
This property allows sub typing of CRM entities - a form of specialisation – through the use of a terminological hierarchy, or thesaurus. The 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 CRM may by specialised into any number of sub entities, which can be defined in the E55 Type hierarchy. E51 Contact Point, for example, may be specialised into “e-mail address”, “telephone number”, “post office box”, “URL” etc. none of which figures explicitly in the CRM hierarchy. Sub typing obviously requires consistency between the meaning of the terms assigned and the more general intent of the CRM entity in question. en WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Identifier : P2

Domain and range

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

Labels

Label Language Last updated View details Comments
hat den Typus * de 2018-09-14 0
έχει τύπο * el 2018-09-14 0
has type (is type of) * en 2020-08-26 0
est de type * fr 2018-09-14 0
é do tipo * pt 2018-09-14 0
имеет тип * ru 2018-09-14 0
有类型 * zh 2018-09-14 0

: Standard label for this language

Namespace

Namespace Last updated
CIDOC CRM version 6.2 2020-08-26

Parent properties

Domain Property Range Justification Relation namespace View details Comments

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

Domain Property Range Depth Property namespace
CRM Entity – E1 (0,n) P137 exemplifies (is exemplified by) (0,n) Type – E55 1 CIDOC CRM version 6.2
Item – F5 (0,n) R7 is example of (has example) (1,1) Manifestation Product Type – F3 1 FRBRoo version 2.4
Geographical Location (Temporal entity) – C15 (0,1) P19 has location type (0,n) Geographical Location type – C16 1 HistDMI – Generic Classes and Properties – ongoing
Geographical Place – C13 (0,n) P20 has geographical place type (0,1) Geographical Place Type – C14 1 HistDMI – Generic Classes and Properties – ongoing
Built work – C17 (0,n) P9 has built work type (0,n) Built work type – C18 1 CIDOC CRM supplement (HistDMI) ongoing
Event – E5 (0,n) P8 has event type (is event type of) (0,1) Event type – C3 1 CIDOC CRM supplement (HistDMI) ongoing
Group – E74 P7 has group type Group type – C9 1 CIDOC CRM supplement (HistDMI) ongoing
Manifestation Singleton – F4 P6 has manifestation singleton type Manifestation singleton type – C10 1 CIDOC CRM supplement (HistDMI) ongoing
Manifestation Product Type – F3 P5 has type of manifestation product type Type of manifestation product type – C8 1 CIDOC CRM supplement (HistDMI) ongoing
Expression – F2 P4 has expression type Expression type – C6 1 CIDOC CRM supplement (HistDMI) ongoing
Expression portion – C2 (0,n) P5 has expression portion type (0,1) Expression portion type – C3 1 HistDMI – Intellectual and Literary Life (ongoing)
Membership – C5 (0,n) P3 has membership type (0,1) Membership type – C6 1 Social and economic life (HistDMI) ongoing
Appellation in a language (Temporal Entity) – C11 (0,n) P14 has appellation for language type (is appellation for language type of) (0,1) Appellation in a language type – C12 1 HistDMI – Generic Classes and Properties – ongoing
Relationship – C3 (0,n) P16 has relationship type (is relationship type of) (0,1) Relationship type – C4 1 Social and economic life (HistDMI) ongoing
Union – C9 (0,n) P21 has type of union (is type of union of) (0,1) Type of union – C10 1 Social and economic life (HistDMI) ongoing
Man-Made Object – E22 (0,n) P1 has type (is type of man-made object) (0,1) Man-Made Object Type – C4 1 CIDOC CRM supplement (HistDMI) ongoing
Right Holding – C20 (0,n) P32 has right holding type (is right holding type of) (0,1) Right holding type – C21 1 Social and economic life (HistDMI) ongoing
Step – C5 (0,n) P12 has step type (is step type of) (1,1) Step type – C8 1 HistDMI – Intellectual and Literary Life (ongoing)
Procedure – C4 (0,n) P13 has procedure type (is procedure type) (1,1) Procedure type – C7 1 HistDMI – Intellectual and Literary Life (ongoing)
Use – C23 (0,n) P29 has use type (is use type of) (0,1) Use type – C24 1 HistDMI – Generic Classes and Properties – ongoing

Related properties

Relation Property Justification Relation namespace View details Comments

Profiles using this class

Label Start date End date Last updated
READ-IT 2020-02-21
Silknow generic 2019-09-23
Silknow working profile 2020-02-21
Profil HisArc 2020-04-01
Visual Contagions 2020-05-06
Visual Contagions Version 2 2020-07-01
Nouveau profile pour le projetXXXh - xxxxxx 2020-07-21

Comments