Equivalent properties.
Ontology(<http://example.com/ontology/Unnamed>
      Declaration(Class(:FemalePerson))
      Declaration(Class(:MalePerson))
      Declaration(Class(:Person))
      Declaration(ObjectProperty(:hasMom))
      Declaration(ObjectProperty(:hasMother))
      AnnotationAssertion(rdfs:label :FemalePerson "Female Person"@en)
      SubClassOf(:FemalePerson :Person)
      DisjointClasses(:FemalePerson :MalePerson)
      AnnotationAssertion(rdfs:label :MalePerson "Male Person"@en)
      SubClassOf(:MalePerson :Person)
      AnnotationAssertion(rdfs:label :Person "Person"@en)
      SubClassOf(:Person ObjectIntersectionOf(ObjectMaxCardinality(1 :hasMom :FemalePerson)
      ObjectMinCardinality(1 :hasMom :FemalePerson)))
      SubClassOf(:Person ObjectIntersectionOf(ObjectMaxCardinality(1 :hasMother :FemalePerson) ObjectMinCardinality(1 :hasMother :FemalePerson)))
      AnnotationAssertion(rdfs:label :hasMom "has mom"@en)
      EquivalentObjectProperties(:hasMom :hasMother)
      ObjectPropertyDomain(:hasMom :Person)
      ObjectPropertyRange(:hasMom :FemalePerson)
      AnnotationAssertion(rdfs:label :hasMother "has mother"@en)
      ObjectPropertyDomain(:hasMother :Person)
      ObjectPropertyRange(:hasMother :FemalePerson)
)