P128 carries (is carried by) in version 7.1.1

Domain:
E18 Physical Thing
Range:
E90 Symbolic Object
Subproperty of:
E70 Thing. P130 shows features of (features are also found on): E70 Thing
Superproperty of:
E24 Physical Human-Made Thing. P65 shows visual item (is shown by): E36 Visual Item
Quantification:
many to many (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)