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

Examples

Additional notes

Identifier: P18

Official URI: https://sdhss.org/ontology/core/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

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments