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

:P95_has_formed a rdf:Property ;
    rdfs:label "hat gebildet"@de,
        "σχημάτισε"@el,
        "has formed"@en,
        "a fondé"@fr,
        "formou"@pt,
        "сформировал"@ru,
        "已经组成"@zh ;
    rdfs:comment """Quantification: one to many, necessary, dependent (1,n:1,1)

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

Examples:
- 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:
- P95(x,y) ⇒ E66(x)
- P95(x,y) ⇒ E74(y) 
- P95(x,y) ⇒ P92(x,y)
"""@en ;
    rdfs:domain :E66_Formation ;
    rdfs:range :E74_Group ;
    rdfs:subPropertyOf :P92_brought_into_existence ;
    owl:inverseOf :P95i_was_formed_by .