:P95i_was_formed_by leaf node

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

:P95i_was_formed_by a rdf:Property ;
    rdfs:label "wurde gebildet von"@de,
        "σχηματίστηκε από"@el,
        "was formed by"@en,
        "a été fondé par"@fr,
        "foi formado por"@pt,
        "был сформирован"@ru,
        "被组成"@zh ;
    rdfs:comment """Quantification of the inverse property: one to many, necessary, dependent (1,n:1,1)

Scope note of the inverse property:
This property associates the instance of E66 Formation with the instance of E74 Group that it founded.

Examples of the inverse property:
- The formation of the CIDOC CRM SIG at the August 2000 CIDOC Board meeting (E66) has formed the CIDOC CRM Special Interest Group (E74).

In First Order Logic of the inverse property:
- P95(x,y) ⇒ E66(x)
- P95(x,y) ⇒ E74(y) 
- P95(x,y) ⇒ P92(x,y)
"""@en ;
    rdfs:domain :E74_Group ;
    rdfs:range :E66_Formation ;
    rdfs:subPropertyOf :P92i_was_brought_into_existence_by ;
    owl:inverseOf :P95_has_formed .