has part (is part of) – R71

R71 has part (is part of)

Quantification:

0,n:0,n

Scope note:

This property associates an instance of F3 Manifestation with a structural part of it that is itself an instance of F3 Manifestation. This property is transitive, asymmetric and irreflexive.

Examples:

  • The publication (set of 3 books) containing J.R.R. Tolkien’s ‘The Lord of the rings’ identified by ISBN ‘0618260587’ (F3) has part the publication containing J.R.R. Tolkien’s ‘The two towers’ identified by ISBN ‘0618260595’ (F3).
  • The compact disc publication issued by Deutsche Grammophon in 1998 and consisting of a recording of Richard Wagner’s ‘Der fliegende Holländer’ as performed in 1991 by Plácido Domingo, Cheryl Studer et al., and conducted by Giuseppe Sinopoli (F3) has part a publication consisting of the printed program notes and libretto (F3).
  • The compact disc publication issued as a 2-CD set identified as ‘M2K 42270’ by CBS Records in 1987 and consisting of recordings of J. S. Bach’s concertos for keyboard/clavier and strings performed by Glenn Gould (F3) has part the compact disc publication identified as ‘DIDC 10370’ consisting of the Glenn Gould recordings of Bach’s Concertos nos. 1-4 (F3).

In First Order Logic:

  • R71(x,y) ⇒ F3(x)
  • R71(x,y) ⇒ F3(y)
  • R71(x,y) ⇒ P148(x,y)

Scope notes

Show Scope note Language Namespace View details Comments
This property associates an instance of F3 Manifestation with a structural part of it that is itself an instance of F3 Manifestation. This property is transitive, asymmetric and irreflexive. en LRMoo 0.9.6 0

Examples

Show Example Language Namespace View details Comments
The publication (set of 3 books) containing J.R.R. Tolkien’s ‘The Lord of the rings’ identified by ISBN ‘0618260587’ (F3) has part the publication containing J.R.R. Tolkien’s ‘The two towers’ identified by ISBN ‘0618260595’ (F3). The compact disc publication issued by Deutsche Grammophon in 1998 and consisting of a recording of Richard Wagner’s ‘Der fliegende Holländer’ as performed in 1991 by Plácido Domingo, Cheryl Studer et al., and conducted by Giuseppe Sinopoli (F3) has part a publication consisting of the printed program notes and libretto (F3). The compact disc publication issued as a 2-CD set identified as ‘M2K 42270’ by CBS Records in 1987 and consisting of recordings of J. S. Bach’s concertos for keyboard/clavier and strings performed by Glenn Gould (F3) has part the compact disc publication identified as ‘DIDC 10370’ consisting of the Glenn Gould recordings of Bach’s Concertos nos. 1-4 (F3). en LRMoo 0.9.6 0

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: R71

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

Domain and range

lrmoo:F3 Manifestation → R71 has part (is part of) → lrmoo:F3 Manifestation  (Quantifiers 0,n:0,n)

Labels

Label Language Last updated View details Comments
has part (is 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