has formed (was formed by) – P95

P95 has formed (was formed by)

Quantification:

1,1:1,n

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)

Scope notes

Show Scope note Language Namespace View details Comments
This property associates the instance of E66 Formation with the instance of E74 Group that it founded. en CIDOC CRM version 7.1.3 0
Cette propriété lie une instance de E66_Formation à l'instance de E74_Groupe qu'elle a fondée. fr CIDOC CRM version 7.1.3 0

Examples

Show Example Language Namespace View details Comments
The formation of the CIDOC CRM SIG at the August 2000 CIDOC Board meeting (E66) has formed the CIDOC CRM Special Interest Group (E74). en CIDOC CRM version 7.1.3 0
La formation du Groupe d'intérêt spécial CRM lors de la réunion du conseil d'administration du CIDOC en août 2000 (E66_Formation) a fondé (P95_a_fondé) le Groupe d'intérêt spécial CRM (E74_Groupe) fr CIDOC CRM version 7.1.3 0

Additional notes

Show Notes Type Language Namespace View details Comments

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

Label Language Last updated View details Comments
has formed (was formed by) * en 2022-06-13 0
a fondé (a été fondé par) * fr 2024-03-21 0
сформировал (была сформирована посредством) ru 2024-03-14 0
已经组成 (被组成) zh 2024-03-14 0
formou (foi formado por) pt 2024-03-14 0
σχημάτισε (σχηματίστηκε από) el 2024-03-14 0
hat gebildet (wurde gebildet von) de 2024-03-14 0

: Standard label for this language

Namespace

Namespace Last updated
CIDOC CRM version 7.1.3 2022-06-13
CIDOC CRM version 5.0.4 2022-06-13
CIDOC CRM version 6.2 2021-06-10

Parent properties

Domain Property Range Property namespace Relation defined in Justification View details Edit Delete Comments
crm:E63 Beginning of Existence (1,1) P92 brought into existence (was brought into existence by) (1,n) crm:E77 Persistent Item CIDOC CRM version 7.1.3 CIDOC CRM version 7.1.3 0

Ancestor properties

Domain Property Range Depth Property namespace
crm:E5 Event (0,n) P12 occurred in the presence of (was present at) (1,n) crm:E77 Persistent Item 2 CIDOC CRM version 7.1.3

Child and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Property namespace Relation defined in Justification View details Edit Delete Comments

Profiles using this property

Label Version Status Last updated
Group - Formation and Dissolution events ongoing 1 Ongoing 2024-07-10
Groups and organizations ongoing 1 Ongoing 2024-04-18
Silknow working profile 1 Ongoing 2023-10-25
Geovistory Generic Historical Information Profile 1 Ongoing 2023-10-25

Comments