is identifying component of range class (range class has identity defining component) – P18

This property does not yet have the minimum number of validated parts required for publication.

P18 is identifying component of range class (range class has identity defining component)

Quantification:

0,n:0,n

Scope note:

This is an abstract property – do not use it in profiles !

As a high level meta-property the present property expresses the fact that the domain class is an identity defining component of the range class. This means that the identity of the range class instance depends on the associated domain class instance and no alternative instances are allowed for this property against the general rule of CIDOC CRM.

This property is used to characterize subproperties of it. It should be replaced by a property of property associating the concerned property with the boolean value True/False.

Examples:

No example yet.

In First Order Logic:

  • P18(x,y) ⊃ E1(x)
  • P18(x,y) ⊃ E1(y)

Scope Notes

Show Scope note Language Namespace View details Comments Validation
This is an abstract property – do not use it in profiles ! As a high level meta-property the present property expresses the fact that the domain class is an identity defining component of the range class. This means that the identity of the range class instance depends on the associated domain class instance and no alternative instances are allowed for this property against the general rule of CIDOC CRM. This property is used to characterize subproperties of it. It should be replaced by a property of property associating the concerned property with the boolean value True/False. en CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing 0 Candidate

Examples

Show Example Language Namespace View details Comments Validation

Additional notes

Show Notes Language Namespace View details Comments Validation

Identifier : P18

Domain and range

E1 CRM Entity → P18 is identifying component of range class (range class has identity defining component) → E1 CRM Entity  (Quantifiers 0,n:0,n)

Labels

Label Language Last updated View details Comments Validation
is identifying component of range class (range class has identity defining component) * en 2021-06-10 0 Candidate

: Standard label for this language

Parent properties

Domain Property Range Justification Relation namespace View details Edit Delete Comments Validation

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

Domain Property Range Depth Property namespace
CRM Entity – E1 (1,1) P22 has quality (is quality of) (0,n) Quantifiable Quality – C28 1 CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing
Social Quality of an Actor (Temporal entity) – C1 (0,n) P13 pertains to (has quality) (1,1) Actor – E39 2 Social, legal and economic life (SDHSS) ongoing
Legal Individual Existence – C16 (0,n) P25 is legal existence of (has legal existence) (1,1) Legal individual – C25 1 Social, legal and economic life (SDHSS) ongoing
Legal Individual Existence – C16 (0,n) P25 is legal existence of (has legal existence) (1,1) Legal individual – C25 2 Social, legal and economic life (SDHSS) ongoing
Social actor embodiment – C13 (0,n) P26 is embodiment by (embodies) (1,1) Actor – E39 1 Social, legal and economic life (SDHSS) ongoing
CRM Entity – E1 (1,1) P39 has social connotation (is social connotation of) (0,n) Social Connotation – C30 1 CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing

Related properties

Relation Property Justification Relation namespace View details Edit Delete Comments Validation

Profiles using this property

Label Version Status Last updated

Comments