has part (is part of) – R71
R71 has part (is part of)
Domain:
Range:
Quantification:
0,n:0,n
Subproperty of:
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
Examples
Additional notes
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
: Standard label for this language
Comments
No comment found.