carries (is carried by) – P128
P128 carries (is carried by)
Domain:
Range:
Quantification:
0,n:0,n
Subproperty of:
Superproperty of:
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
Comments
No comment found.