exemplifies (is exemplified by) – R7

R7 exemplifies (is exemplified by)

Quantification:

0,n:1,1

Scope note:

This property associates an instance of F3 Manifestation with an instance of F5 Item that is one of its exemplars or its only exemplar.

Instances of F5 Item correspond to the kinds of physical unit(s) specified in the manifestation, regardless of possible later changes.

Even though an item may exhibit defects with respect to the intended manifestation, it is still regarded to carry the manifestation, as long as it is produced or made accessible as a functional item by its creators.

Examples:

  • The item held by the Deichman public library in Oslo, identified by inventory number ‘9138513’ (F5) exemplifies the publication ‘Murder on the Orient Express / Agatha Christie’, HarperCollins 2017 (F3).
  • The item held by the National Library of France and identified by shelf mark ‘Res 8 P 10’ (F5) exemplifies the edition of Amerigo Vespucci’s textual and cartographic work entitled ‘Mundus novus’ issued in Paris ca. 1503-1504 (F3).

In First Order Logic:

  • R7(x,y) ⇒ F5(x)
  • R7(x,y) ⇒ F3(y)
  • R7(x,y) ⇒ P128(x,y)

Scope notes

Examples

Additional notes

Identifier: R7

Official URI: http://iflastandards.info/ns/lrm/lrmoo/R7
OntoME URI: https://ontome.net/ontology/p2248

Domain and range

lrmoo:F5 Item → R7 exemplifies (is exemplified by) → lrmoo:F3 Manifestation  (Quantifiers 0,n:1,1)

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments