http://www.cidoc-crm.org/cidoc-crm/P92i_was_brought_into_existence_by
rdf:Property
Quantification of the inverse property: one to many, necessary, dependent (1,n:1,1)
Scope note of the inverse property:
This property links an instance of E63 Beginning of Existence to the instance of E77 Persistent Item brought into existence by it.
It allows a “start” to be attached to any instance of E77 Persistent Item being documented, i.e., as instances of E70 Thing, E72 Legal Object, E39 Actor, E41 Appellation and E55 Type.
Examples of the inverse property:
- The birth of Mozart (E67) brought into existence Mozart (E21). (Deutsch, 1965)
In First Order Logic of the inverse property:
- P92(x,y) ⇒ E63(x)
- P92(x,y) ⇒ E77(y)
- P92(x,y) ⇒ P12(x,y)
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E77_Persistent_Item | :P92i_was_brought_into_existence_by | :E63_Beginning_of_Existence |
@prefix : <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
:P92i_was_brought_into_existence_by a rdf:Property ;
rdfs:label "wurde in Existenz gebracht durch"@de,
"γεννήθηκε από"@el,
"was brought into existence by"@en,
"a commencé à exister par"@fr,
"passou a existir por"@pt,
"был пущeн в дeйствиe"@ru,
"使导致存在"@zh ;
rdfs:comment """Quantification of the inverse property: one to many, necessary, dependent (1,n:1,1)
Scope note of the inverse property:
This property links an instance of E63 Beginning of Existence to the instance of E77 Persistent Item brought into existence by it.
It allows a “start” to be attached to any instance of E77 Persistent Item being documented, i.e., as instances of E70 Thing, E72 Legal Object, E39 Actor, E41 Appellation and E55 Type.
Examples of the inverse property:
- The birth of Mozart (E67) brought into existence Mozart (E21). (Deutsch, 1965)
In First Order Logic of the inverse property:
- P92(x,y) ⇒ E63(x)
- P92(x,y) ⇒ E77(y)
- P92(x,y) ⇒ P12(x,y)
"""@en ;
rdfs:domain :E77_Persistent_Item ;
rdfs:range :E63_Beginning_of_Existence ;
rdfs:subPropertyOf :P12i_was_present_at ;
owl:inverseOf :P92_brought_into_existence .