:P71i_is_listed_in leaf node


URI

http://www.cidoc-crm.org/cidoc-crm/P71i_is_listed_in

Type

rdf:Property

Label

is listed in

Description

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)

Inherits from

Usage

DOMAINPROPERTYRANGE
:E1_CRM_Entity :P71i_is_listed_in :E32_Authority_Document

Implementation

@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 &amp; 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 .