:P151i_participated_in leaf node


URI

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

Type

rdf:Property

Label

participated 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 E66 Formation with an instance of E74 Group from which the new group was formed preserving a sense of continuity such as in mission, membership or tradition.

Examples of the inverse property:
- The formation of the House of Bourbon-Conti in 1581 (E66) was formed from House of Condé (E74). (Collectif & Musée d'art et d'histoire Louis-Senlecq, 1900)

In First Order Logic of the inverse property:
- P151(x,y) ⇒ E66(x)
- P151(x,y) ⇒ E74(y)
- P151(x,y) ⇒ P11(x,y)

Usage

DOMAINPROPERTYRANGE
:E74_Group :P151i_participated_in :E66_Formation

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#> .

:P151i_participated_in a rdf:Property ;
    rdfs:label "participated in"@en,
        "a participé à"@fr,
        "участвовал в"@ru ;
    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 E66 Formation with an instance of E74 Group from which the new group was formed preserving a sense of continuity such as in mission, membership or tradition.

Examples of the inverse property:
- The formation of the House of Bourbon-Conti in 1581 (E66) was formed from House of Condé (E74). (Collectif &amp; Musée d'art et d'histoire Louis-Senlecq, 1900)

In First Order Logic of the inverse property:
- P151(x,y) ⇒ E66(x)
- P151(x,y) ⇒ E74(y) 
- P151(x,y) ⇒ P11(x,y)
"""@en ;
    rdfs:domain :E74_Group ;
    rdfs:range :E66_Formation ;
    rdfs:subPropertyOf :P11i_participated_in ;
    owl:inverseOf :P151_was_formed_from .