P95 has formed (was formed by) in version 7.1.1

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 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)