http://www.cidoc-crm.org/cidoc-crm/P71i_is_listed_in
rdf:Property
Quantification of the inverse property: many to many (0,n:0,n)
Scope note of the inverse property:
This property associates an instance of E32 Authority Document with an instance of E1 CRM Entity which it lists for reference purposes.
Examples of the inverse property:
- The Art & Architecture Thesaurus (E32) lists alcazars (E55). (http://vocab.getty.edu/page/aat/300006897)
In First Order Logic of the inverse property:
- P71(x,y) ⇒ E32(x)
- P71(x,y) ⇒ E1(y)
- P71(x,y) ⇒ P67(x,y)
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E1_CRM_Entity | :P71i_is_listed_in | :E32_Authority_Document |
@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#> .
:P71i_is_listed_in a rdf:Property ;
rdfs:label "wird aufgelistet in"@de,
"περιλαμβάνεται σε"@el,
"is listed in"@en,
"est énuméré par"@fr,
"é definido por"@pt,
"пeрeчислeн"@ru,
"列于"@zh ;
rdfs:comment """Quantification of the inverse property: many to many (0,n:0,n)
Scope note of the inverse property:
This property associates an instance of E32 Authority Document with an instance of E1 CRM Entity which it lists for reference purposes.
Examples of the inverse property:
- The Art & Architecture Thesaurus (E32) lists alcazars (E55). (http://vocab.getty.edu/page/aat/300006897)
In First Order Logic of the inverse property:
- P71(x,y) ⇒ E32(x)
- P71(x,y) ⇒ E1(y)
- P71(x,y) ⇒ P67(x,y)
"""@en ;
rdfs:domain :E1_CRM_Entity ;
rdfs:range :E32_Authority_Document ;
rdfs:subPropertyOf :P67i_is_referred_to_by ;
owl:inverseOf :P71_lists .