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 SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing 0 Candidate

Examples

Show Example Language Namespace View details Comments Validation

Additional notes

Show Notes Type Language Namespace View details Comments Validation

Identifier: P18

Official URI: https://ontome.net/ns/sdhss/P18
OntoME URI: https://ontome.net/ontology/p1766

Domain and range

crm:E1 CRM Entity → P18 is identifying component of range class (range class has identity defining component) → crm: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 Property namespace Relation defined in Justification 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:E77 Persistent Item (1,1) P22 has quantifiable quality (is quantifiable quality of) (0,n) sdh:C28 Quantifiable Quality 1 SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing
sdh-so:C16 Legal Conceptual Object Creation (0,n) P25 is legal creation of (was created by) (1,1) crm:E28 Conceptual Object 1 SDHSS Social, legal and economic life ongoing
sdh-so:C13 Social Role Embodiment (0,n) P26 is embodiment by (embodies) (1,1) crm:E39 Actor 1 SDHSS Social, legal and economic life ongoing

Related properties

Relation Property Property namespace Relation defined in Justification View details Edit Delete Comments Validation

Profiles using this property

Label Version Status Last updated

Comments