P95 has formed (was formed by) in Version 6.2.2

Domain:
E66 Formation
Range:
E74 Group
Subproperty of:
E63 Beginning of Existence. P92 brought into existence (was brought into existence by): E77 Persistent Item
Superproperty of: No superproperties found
Quantification:
one to many, necessary, dependent (1,n:1,1)
Scope Note:

This property links the founding or E66 Formation for an E74 Group with the Group itself.

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)