Domain:

lrmoo:F1 Work

Range:

lrmoo:F1 Work

Quantification:

0,n:0,n

Subproperty of:

• crm:E70 Thing → crm:P130 shows features of (features are also found on) → crm:E70 Thing

Scope note:

This property associates an instance of F1 Work with another instance of F1 Work where all expressions of the former will include some expression of the latter. This property is not transitive. It is irreflexive. This property represents the generalized relationship between works that is described at the expression level using R75 incorporates (is incorporated in).

Examples:

• Ludwig van Beethoven’s ‘Symphony No. 9’ (F1) uses expression of the poem ‘An die Freude’ by Friedrich Schiller (F1).
• Franz Schubert’s kunstlied ‘Erlkönig’ (F1) uses expression of the poem ‘Erlkönig’ by Johann Wolfgang von Goethe (F1).
• The symphonic poem ‘Vltava’ by Bedřich Smetana (F1) uses expression of the melody ‘La Mantovana’ attributed to Giuseppe Cenci (F1).

In First Order Logic:

• R74(x,y) ⇒ F1(x)
• R74(x,y) ⇒ F1(y)
• R74(x,y) ⇒ P130(x,y)