Here my change of scope note:
Domain: Physical Thing
Range: Symbolic Object
Subproperty of: Thing. shows features of (features are also found on): Thing
Superproperty of: Physical Man-Made Thing. shows visual item (is shown by): Visual Item
Quantification: many to many (0,n:0,n)
Scope note: This property identifies an E90 Symbolic Object carried by an instance of E18 Physical Thing.
§ Matthew’s paperback copy of Reach for the Sky (E84) carries the text of Reach for the Sky (E73)
In First Order Logic:
P128(x,y) ⊃ E18(x)
P128(x,y) ⊃ E90(y)
P128(x,y) ⊃ P130(x,y)
Scope note: This property identifies an 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, an individual realization on a 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 these defects to not substantially affect the complete recognition of the respective symbolic object, we still regard that it carries an instance of this Symbolic Object. If these defects are of scholarly interest, the individual realization can be modeled as a Physical 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.
to be formulated as deduction in FOL!
-- ------------------------------------ Dr. Martin Doerr Honorary Head of the Center for Cultural Informatics Information Systems Laboratory Institute of Computer Science Foundation for Research and Technology - Hellas (FORTH) N.Plastira 100, Vassilika Vouton, GR70013 Heraklion,Crete,Greece Vox:+30(2810)391625 Email: firstname.lastname@example.org Web-site: http://www.ics.forth.gr/isl