Domain:

lrmoo:F1 Work

Range:

lrmoo:F1 Work

Quantification:

0,n:0,n

Subproperty of:

• crm:E89 Propositional Object → crm:P148 has component (is component of) → crm:E89 Propositional Object

Scope note:

This property associates an instance of F1 Work with another instance of F1 Work that forms part of it in a complementary role to other sibling parts, conceived at some point in time to form together a logical whole, such as the parts of a trilogy. This property is transitive, asymmetric and irreflexive.

Examples:

Ursula K. Le Guin’s textual work ‘The Earthsea trilogy’ (F1) has part Ursula K. Le Guin’s textual work ‘The tombs of Atuan’ (F1).

Dante Alighieri’s textual work entitled ‘Divina Commedia’ (F1) has part Dante Alighieri’s textual work entitled ‘Inferno’ (F1).

Miguel de Cervantes’ textual work entitled ‘Don Quixote’ (F1) has part Miguel de Cervantes’ textual work entitled ‘El ingenioso hidalgo Don Quixote de la Mancha’ (F1).

Miguel de Cervantes’ textual work entitled ‘Don Quixote’ (F1) has part Miguel de Cervantes’ textual work entitled ‘Segunda Parte del Ingenioso Cavallero Don Quixote de la Mancha’ (F1).

J. R. R. Tolkien’s textual work ‘The Lord of the Rings’ (F1) has part J. R. R. Tolkien’s textual work ‘The Two Towers’ (F1).

Cormac McCarthy’s textual work ‘The Border Trilogy’ (F1) has part Cormac McCarthy’s textual work ‘All the Pretty Horses’ (F1).

Giovanni Battista Piranesi’s graphic work entitled ‘Carceri’ (F1) has part Giovanni Battista Piranesi’s graphic work entitled ‘Carcere XVI: the pier with chains’ (F1).

Ludwig van Beethoven’s musical work entitled ‘Symphony No. 9’ (F1) has part Ludwig van Beethoven’s musical work ‘Finale’ (4^th movement) (F1).

Johann Sebastian Bach’s musical work ‘Goldberg Variations’ (F1) has part the musical work entitled ‘Variatio 1. a 1 Clav’ (F1).

In First Order Logic:

• R67(x,y) ⇒ F1(x)
• R67(x,y) ⇒ F1(y)
• R67(x,y) ⇒ P148(x,y)