carries (is carried by) – P128

P128 carries (is carried by)

Quantification:

0,n:0,n

Scope note:

This property identifies an instance E90 Symbolic Object carried by an instance of E18 Physical Thing. Since an instance of E90 Symbolic Object is defined as an immaterial idealization over potentially multiple carriers, any individual realization on a particular physical carrier may be defective, due to deterioration or shortcomings in the process of creating the realization compared to the intended ideal. As long as such defects do not substantially affect the complete recognition of the respective symbolic object, it is still regarded as carrying an instance of this E90 Symbolic Object. If these defects are of scholarly interest, the particular realization can be modelled as an instance of E25 Human-Made Feature. Note, that any instance of E90 Symbolic Object incorporated (P165) in the carried symbolic object is also carried by the same instance of E18 Physical Thing.

Examples:

Matthew’s paperback copy of Reach for the Sky (E18) carries the text of Reach for the Sky (E73). [see also: (Brickhill, 2001)] (fictitious)

In First Order Logic:

  • P128(x,y) ⇒ E18(x)
  • P128(x,y) ⇒ E90(y)
  • P128(x,y) ⇒ P130(x,y)

Scope notes

Examples

Additional notes

Identifier: P128

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

Domain and range

crm:E18 Physical Thing → P128 carries (is carried by) → crm:E90 Symbolic Object  (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