Domain:

frbroo:F35 Nomen Use Statement

Range:

frbroo:F52 Name Use Activity

Quantification:

0,n:0,n

Subproperty of:

• crm:E89 Propositional Object → crm:P67 refers to (is referred to by) → crm:E1 CRM Entity

Scope note:

This property associates an instance of F35 Nomen Use Statement with an instance of F52 Name Use Activity which provides evidence for the use of the particular nomen in the stated sense. The association between this name use activity and a source for it may be described by the property P70 documents (is documented in).

Examples:

The variant controlled access point in record n 79021736, tagged in MARC 21 format, ‘400 1_ |a Пруст, Марсель, |d 1871-1922’ found in the Library of Congress authorities as of 15 June 2012 (F35) R32 is warranted by the use of the name ‘Марсель Пруст’ in Cyrillic script (F52), for which evidence can be found in the publication referred to as ‘Andreev, L.G. Marselʹ Prust, 1968’ in the authority record established by the Library of Congress for Marcel Proust

The preferred access point in record sh 85109469, tagged in MARC 21 format, ‘150 __ |a Quantum theory’ found in the Library of Congress authorities as of 15 June 2012 (F35) R32 is warranted by the use of the phrase ‘quantum theory’ in the English language (F52), as attested to by references to the NASA and INSPEC thesauri in the authority record established by the Library of Congress

The preferred access point in record sh 85074230 in the LCSH authority file tagged in MARC 21 in the field ‘150__ |a Lamniformes’ (F35) R32 is warranted by the use of the term ‘Lamniformes’ for mackerel sharks in the entry on page 51 of Fishes of the world by J.S. Nelson published in 1994 (F52)

The preferred access point in record n 85118480 in the Library of Congress name authority file as of 19 November 2012 tagged in MARC 21 in the field ‘110 2_ |a Canadian Academic Centre in Italy’ (F35) R32 is warranted by the use of the name ‘Canadian Academic Centre in Italy’ on page 6 of the book ‘Lo Scavo di S. Giovanni di Ruoti ed il periodo tardoantico in Basilicata’ published in 1983

In First Order Logic:

• R32(x,y) ⇒ F35(x)
• R32(x,y) ⇒ F52(y)
• R32(x,y) ⇒ P67(x,y)