has part (forms part of) – R67

R67 has part (forms part of)

Quantification:

0,n:0,n

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’ (4th 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)

Scope notes

Show Scope note Language Namespace View details Comments
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. en LRMoo 0.9.6 0

Examples

Show Example Language Namespace View details Comments
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’ (4th movement) (F1). Johann Sebastian Bach’s musical work ‘Goldberg Variations’ (F1) has part the musical work entitled ‘Variatio 1. a 1 Clav’ (F1). en LRMoo 0.9.6 0

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: R67

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

Domain and range

lrmoo:F1 Work → R67 has part (forms part of) → lrmoo:F1 Work  (Quantifiers 0,n:0,n)

Labels

Label Language Last updated View details Comments
has part (forms part of) * en 2023-05-08 0

: Standard label for this language

Namespace

Namespace Last updated
LRMoo 0.9.6 2023-01-25

Parent properties

Domain Property Range Property namespace Relation defined in Justification View details Edit Delete Comments
crm:E89 Propositional Object (0,n) P148 has component (is component of) (0,n) crm:E89 Propositional Object CIDOC CRM version 7.1.2 LRMoo 0.9.6 0

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Property namespace Relation defined in Justification View details Edit Delete Comments

Profiles using this property

Label Version Status Last updated

Comments