has formed – P95

P95 has formed

Domain:

Range:

Quantification:

0,1:1,1

Scope note:

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

Examples:

No example yet.

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 links the founding or E66 Formation for an E74 Group with the Group itself. en WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Domain and range

E66 Formation → P95 has formed → E74 Group  (Quantifiers 0,1:1,1)

Labels

Label Language Last updated View details Comments
hat gebildet * de 2018-09-14 0
σχημάτισε * el 2018-09-14 0
has formed * en 2018-09-14 0
a fondé * fr 2018-09-14 0
formou * pt 2018-09-14 0
сформировал * ru 2018-09-14 0
组成了 * zh 2018-09-14 0

: Standard label for this language

Namespace

Namespace Last updated
CIDOC CRM version 6.2 2019-03-28

Parent properties

Property identifier Justification Root namespace View association
P92 brought into existence CIDOC CRM

Ancestor properties

Property identifier Depth Root namespace
P12 occurred in the presence of 2 CIDOC CRM
topObjectProperty 3 The OWL 2 Schema vocabulary

Childs and descendant properties

Property identifier Depth Root namespace

Equivalent properties

Profiles using this class

Label Start date End date Last updated
geoVistory Basic Profile 2019-06-25

Comments