embodies (is embodied in) – R4

R4 embodies (is embodied in)

Quantification:

1,n:1,n

Scope note:

This property associates an instance of F3 Manifestation with one or more instances of F2 Expression which are rendered by this instance of F3 Manifestation. The manifestation formats the expression(s) in the way they are to be presented to some public, including specifying the intended sensory impression (such as visual appearance or audio rendition).

Examples:

The publication ‘Murder on the Orient Express / Agatha Christie’, published by Collins Crime Club in 1934 (F3) embodies the original text in English by Agatha Christie (F2).

The publication ‘Mord im Orientexpress: ein Hercule-Poirot-Roman / Agatha Christie’, published by Deutscher Bücherbund in 1975 (F3) embodies the German translation by Elisabeth van Bebber (F2).

The publication ‘The Illustrated Odyssey’, published by Sidgwick & Jackson Ltd in 1980 (F3) embodies the translated text by E. V. Rieu (F2), the introductory text by Jacquetta Hawkes (F2) and photographs by Tim Mercer (F2).

The publication entitled ‘Alfred Hitchcock’s Psycho: 60th Anniversary Edition’ which was released in 2020 (F3), embodies the original cut of the movie (F2) and the censored version that was released in Britain (F2).

The publication identified by ISBN ‘2-222-00835-2’ (F3) embodies the text of Marin Mersenne’s ‘Harmonie universelle’ (F2).

The CD publication ‘Bach Goldberg Variations’ published by Hyperion Records in 2016 (F3), embodies Angela Hewitt’s performances of Bach’s ‘Goldberg Variations’ recorded in Christuskirche (Berlin) on 14-17 December 2015 (F2).

In First Order Logic:

  • R4(x,y) ⇒ F3(x)
  • R4(x,y) ⇒ F2(y)
  • R4(x,y) ⇒ P165(x,y)

Scope notes

Examples

Additional notes

Identifier: R4

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

Domain and range

lrmoo:F3 Manifestation → R4 embodies (is embodied in) → lrmoo:F2 Expression  (Quantifiers 1,n:1,n)

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments