<http://erlangen-crm.org/current/P95_has_formed>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#ObjectProperty> .
<http://erlangen-crm.org/current/P95_has_formed>	<http://www.w3.org/2000/01/rdf-schema#domain>	<http://erlangen-crm.org/current/E66_Formation> .
<http://erlangen-crm.org/current/P95_has_formed>	<http://www.w3.org/2000/01/rdf-schema#subPropertyOf>	<http://erlangen-crm.org/current/P92_brought_into_existence> .
<http://erlangen-crm.org/current/P95_has_formed>	<http://www.w3.org/2004/02/skos/core#notation>	"P95"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://erlangen-crm.org/current/P95_has_formed>	<http://www.w3.org/2002/07/owl#inverseOf>	<http://erlangen-crm.org/current/P95i_was_formed_by> .
<http://erlangen-crm.org/current/P95_has_formed>	<http://www.w3.org/2000/01/rdf-schema#range>	<http://erlangen-crm.org/current/E74_Group> .
<http://erlangen-crm.org/current/P95_has_formed>	<http://www.w3.org/2000/01/rdf-schema#comment>	"Scope note:\nThis property links the founding or E66 Formation for an E74 Group with the Group itself.\n\nExamples:\n- the formation of the CIDOC CRM SIG at the August 2000 CIDOC Board meeting (E66) has formed the CIDOC CRM Special Interest Group (E74)\n\nIn First Order Logic:\nP95(x,y) \u2283 E66(x)\nP95(x,y) \u2283 E74(y)\nP95(x,y) \u2283 P92(x,y)"@en .
<http://erlangen-crm.org/current/P95_has_formed>	<http://www.w3.org/2000/01/rdf-schema#label>	"P95 has formed"@en .