:P152i_is_parent_of leaf node

@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#> .

:P152i_is_parent_of a rdf:Property ;
    rdfs:label "is parent of"@en,
        "est le parent de"@fr,
        "являeтся родитeлeм"@ru ;
    rdfs:comment """Quantification of the inverse property: many to many, necessary (2,n:0,n)

Scope note of the inverse property:
This property associates an instance of E21 Person with another instance of E21 Person who plays the role of the first instance’s parent, regardless of whether the relationship is biological parenthood, assumed or pretended biological parenthood or an equivalent legal status of rights and obligations obtained by a social or legal act. 
This property is, among others, a shortcut of the fully developed paths from E21 Person through P98i was born, E67 Birth, P96 by mother to E21 Person, and from E21 Person through P98i was born, E67 Birth, P97 from father to E21 Person.
This property is not transitive. This property is irreflexive.

Examples of the inverse property:
- Gaius Octavius (E21) has parent Julius Caesar (E21). (Bleicken &amp; Bell, 2015)
- Steve Jobs (E21) has parent Joanne Simpson (E21). [Biological mother] (Isaacson, 2011)
- Steve Jobs (E21) has parent Clara Jobs (E21). [Adoption mother] (Isaacson, 2011)

In First Order Logic of the inverse property:
- P152(x,y) ⇒ E21(x)
- P152(x,y) ⇒ E21(y)
- P152(x,y) ⇐ (∃z) [E67(z) ˄ P98i(x,z) ˄ P96(z,y)]
- P152(x,y) ⇐ (∃z) [E67(z) ˄ P98i(x,z) ˄ P97(z,y)]
- ¬P152(x,x)
"""@en ;
    rdfs:domain :E21_Person ;
    rdfs:range :E21_Person ;
    owl:inverseOf :P152_has_parent .