has formed (was formed by) – P95

P95 has formed (was formed by)

Quantification:

1,1:1,n

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)

Scope notes

Examples

Additional notes

Identifier: P95

Official URI: http://www.cidoc-crm.org/cidoc-crm/P95_has_formed
OntoME URI: https://ontome.net/ontology/p83

Domain and range

crm:E66 Formation → P95 has formed (was formed by) → crm:E74 Group  (Quantifiers 1,1:1,n)

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments