http://www.cidoc-crm.org/cidoc-crm/P71_lists
rdf:Property
Quantification: many to many (0,n:0,n)
Scope note:
This property associates an instance of E32 Authority Document with an instance of E1 CRM Entity which it lists for reference purposes.
Examples:
- The Art & Architecture Thesaurus (E32) lists alcazars (E55). (http://vocab.getty.edu/page/aat/300006897)
In First Order Logic:
- P71(x,y) ⇒ E32(x)
- P71(x,y) ⇒ E1(y)
- P71(x,y) ⇒ P67(x,y)
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E32_Authority_Document | :P71_lists | :E1_CRM_Entity |
@prefix : <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
:P71_lists a rdf:Property ;
rdfs:label "listet"@de,
"περιλαμβάνει"@el,
"lists"@en,
"énumère"@fr,
"define"@pt,
"пeрeчисляeт"@ru,
"列出"@zh ;
rdfs:comment """Quantification: many to many (0,n:0,n)
Scope note:
This property associates an instance of E32 Authority Document with an instance of E1 CRM Entity which it lists for reference purposes.
Examples:
- The Art & Architecture Thesaurus (E32) lists alcazars (E55). (http://vocab.getty.edu/page/aat/300006897)
In First Order Logic:
- P71(x,y) ⇒ E32(x)
- P71(x,y) ⇒ E1(y)
- P71(x,y) ⇒ P67(x,y)
"""@en ;
rdfs:domain :E32_Authority_Document ;
rdfs:range :E1_CRM_Entity ;
rdfs:subPropertyOf :P67_refers_to ;
owl:inverseOf :P71i_is_listed_in .