has formed (was formed by) – P95
P95 has formed (was formed by)
Domain:
Range:
Quantification:
1,1:1,n
Subproperty of:
Scope note:
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
Comments
No comment found.