<?xml version="1.0" standalone="no"?>
<!DOCTYPE And SYSTEM "http://www.ruleml.org/fol/fol-monolith.dtd">
<And innerclose="universal">
  
<Atom>
<Rel>statememnt</Rel>
<Ind/>
<Ind>rdf:type</Ind>
<Ind>owl:Ontology</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>Son</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Son</Ind>
<Ind>owl:equivalentClass</Ind>
<Ind>N400011</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N400011</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N400011</Ind>
<Ind>owl:intersectionOf</Ind>
<Ind>Child</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N400011</Ind>
<Ind>owl:intersectionOf</Ind>
<Ind>Man</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>Person</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>Uncle</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Uncle</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>Relative</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Relative</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Uncle</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>#Man</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#Man</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>Parent</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Parent</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>#Relative</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#Relative</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Parent</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>N40003E</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40003E</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Restriction</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40003E</Ind>
<Ind>owl:onProperty</Ind>
<Ind>hasChild</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>hasChild</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40003E</Ind>
<Ind>owl:minCardinality</Ind>
<Ind>1</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Parent</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>#Person</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>Special</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Special</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>N400055</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N400055</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Restriction</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N400055</Ind>
<Ind>owl:allValuesFrom</Ind>
<Ind>Woman</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Woman</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N400055</Ind>
<Ind>owl:onProperty</Ind>
<Ind>#hasChild</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasChild</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Special</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>#Parent</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>Father</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Father</Ind>
<Ind>owl:equivalentClass</Ind>
<Ind>N40006E</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40006E</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40006E</Ind>
<Ind>owl:intersectionOf</Ind>
<Ind>#Man</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40006E</Ind>
<Ind>owl:intersectionOf</Ind>
<Ind>#Parent</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>#Relative</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#Relative</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>#Person</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>#Child</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#Child</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>#Person</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#Child</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>N40008C</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40008C</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Restriction</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40008C</Ind>
<Ind>owl:cardinality</Ind>
<Ind>1</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40008C</Ind>
<Ind>owl:onProperty</Ind>
<Ind>hasMother</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>hasMother</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#Child</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>#Relative</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#Child</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>N40009F</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40009F</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Restriction</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40009F</Ind>
<Ind>owl:cardinality</Ind>
<Ind>1</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40009F</Ind>
<Ind>owl:onProperty</Ind>
<Ind>hasFather</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>hasFather</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>#Man</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#Man</Ind>
<Ind>owl:disjointWith</Ind>
<Ind>#Woman</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#Woman</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#Man</Ind>
<Ind>owl:equivalentClass</Ind>
<Ind>N4000B9</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N4000B9</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N4000B9</Ind>
<Ind>owl:intersectionOf</Ind>
<Ind>N4000BE</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N4000BE</Ind>
<Ind>owl:onProperty</Ind>
<Ind>hasGender</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>hasGender</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N4000BE</Ind>
<Ind>owl:hasValue</Ind>
<Ind>Male</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Male</Ind>
<Ind>rdf:type</Ind>
<Ind>Gender</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N4000B9</Ind>
<Ind>owl:intersectionOf</Ind>
<Ind>#Person</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>Aunt</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Aunt</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>#Woman</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#Woman</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Aunt</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>#Relative</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>Nephew</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Nephew</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>#Relative</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Nephew</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>#Man</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>Sibling</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Sibling</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>#Person</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Sibling</Ind>
<Ind>owl:equivalentClass</Ind>
<Ind>N4000F3</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N4000F3</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N4000F3</Ind>
<Ind>owl:unionOf</Ind>
<Ind>Brother</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N4000F3</Ind>
<Ind>owl:unionOf</Ind>
<Ind>Sister</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Sibling</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>#Relative</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>Daughter</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Daughter</Ind>
<Ind>owl:equivalentClass</Ind>
<Ind>N40010A</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40010A</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40010A</Ind>
<Ind>owl:intersectionOf</Ind>
<Ind>#Child</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40010A</Ind>
<Ind>owl:intersectionOf</Ind>
<Ind>#Woman</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>Mother</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Mother</Ind>
<Ind>owl:equivalentClass</Ind>
<Ind>N40011E</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40011E</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40011E</Ind>
<Ind>owl:intersectionOf</Ind>
<Ind>#Parent</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40011E</Ind>
<Ind>owl:intersectionOf</Ind>
<Ind>#Woman</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>Gender</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Gender</Ind>
<Ind>owl:equivalentClass</Ind>
<Ind>N400132</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N400132</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N400132</Ind>
<Ind>owl:oneOf</Ind>
<Ind>#Male</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N400132</Ind>
<Ind>owl:oneOf</Ind>
<Ind>Female</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>Niece</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Niece</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>#Woman</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#Woman</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>Niece</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>#Relative</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>#Woman</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#Woman</Ind>
<Ind>owl:equivalentClass</Ind>
<Ind>N400153</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N400153</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N400153</Ind>
<Ind>owl:intersectionOf</Ind>
<Ind>N400158</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N400158</Ind>
<Ind>owl:hasValue</Ind>
<Ind>#Female</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N400158</Ind>
<Ind>owl:onProperty</Ind>
<Ind>#hasGender</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasGender</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N400153</Ind>
<Ind>owl:intersectionOf</Ind>
<Ind>#Person</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#Woman</Ind>
<Ind>owl:disjointWith</Ind>
<Ind>#Man</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>#Brother</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#Brother</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>#Sibling</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#Brother</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>N400176</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N400176</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Restriction</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N400176</Ind>
<Ind>owl:someValuesFrom</Ind>
<Ind>#Person</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N400176</Ind>
<Ind>owl:onProperty</Ind>
<Ind>hasBrother</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>hasBrother</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#Brother</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>#Man</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>#Sister</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Class</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#Sister</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>#Sibling</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#Sister</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>N40018F</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40018F</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:Restriction</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40018F</Ind>
<Ind>owl:someValuesFrom</Ind>
<Ind>#Person</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>N40018F</Ind>
<Ind>owl:onProperty</Ind>
<Ind>hasSister</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>hasSister</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#Sister</Ind>
<Ind>rdfs:subClassOf</Ind>
<Ind>#Woman</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>#hasGender</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasGender</Ind>
<Ind>rdfs:range</Ind>
<Ind>#Gender</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasGender</Ind>
<Ind>rdfs:domain</Ind>
<Ind>#Person</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>#hasChild</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasChild</Ind>
<Ind>rdfs:range</Ind>
<Ind>#Child</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasChild</Ind>
<Ind>owl:inverseOf</Ind>
<Ind>hasParent</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>hasParent</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasChild</Ind>
<Ind>rdfs:domain</Ind>
<Ind>#Parent</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>hasUncle</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>hasUncle</Ind>
<Ind>rdfs:domain</Ind>
<Ind>#Person</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>hasUncle</Ind>
<Ind>rdfs:range</Ind>
<Ind>#Uncle</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>#hasMother</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasMother</Ind>
<Ind>owl:inverseOf</Ind>
<Ind>inverse_of_family_Slot_1</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>inverse_of_family_Slot_1</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasMother</Ind>
<Ind>rdfs:subPropertyOf</Ind>
<Ind>#hasParent</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasParent</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>inverse_of_family_Slot_0</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>inverse_of_family_Slot_0</Ind>
<Ind>owl:inverseOf</Ind>
<Ind>#hasFather</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasFather</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>inverse_of_family_Slot_0</Ind>
<Ind>rdfs:subPropertyOf</Ind>
<Ind>#hasChild</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>#hasSister</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasSister</Ind>
<Ind>rdfs:range</Ind>
<Ind>#Person</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasSister</Ind>
<Ind>rdfs:domain</Ind>
<Ind>#Person</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasSister</Ind>
<Ind>rdfs:subPropertyOf</Ind>
<Ind>hasSibling</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>hasSibling</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:SymmetricProperty</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>#hasFather</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasFather</Ind>
<Ind>rdfs:subPropertyOf</Ind>
<Ind>#hasParent</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasParent</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasFather</Ind>
<Ind>owl:inverseOf</Ind>
<Ind>#inverse_of_family_Slot_0</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>#hasParent</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasParent</Ind>
<Ind>rdfs:range</Ind>
<Ind>#Parent</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasParent</Ind>
<Ind>owl:inverseOf</Ind>
<Ind>#hasChild</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasParent</Ind>
<Ind>rdfs:domain</Ind>
<Ind>#Child</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>#hasBrother</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasBrother</Ind>
<Ind>rdfs:subPropertyOf</Ind>
<Ind>#hasSibling</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasSibling</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:SymmetricProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasBrother</Ind>
<Ind>rdfs:domain</Ind>
<Ind>#Person</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasBrother</Ind>
<Ind>rdfs:range</Ind>
<Ind>#Person</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>hasAunt</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>hasAunt</Ind>
<Ind>rdfs:range</Ind>
<Ind>#Aunt</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>hasAunt</Ind>
<Ind>rdfs:domain</Ind>
<Ind>#Person</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>#inverse_of_family_Slot_1</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#inverse_of_family_Slot_1</Ind>
<Ind>owl:inverseOf</Ind>
<Ind>#hasMother</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#inverse_of_family_Slot_1</Ind>
<Ind>rdfs:subPropertyOf</Ind>
<Ind>#hasChild</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>oftenSay</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:DatatypeProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>oftenSay</Ind>
<Ind>rdfs:range</Ind>
<Ind>http://www.w3.org/2001/XMLSchema#string</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>ageOf</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:DatatypeProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>ageOf</Ind>
<Ind>rdfs:range</Ind>
<Ind>http://www.w3.org/2001/XMLSchema#int</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>isSpecial</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:DatatypeProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>isSpecial</Ind>
<Ind>rdfs:range</Ind>
<Ind>http://www.w3.org/2001/XMLSchema#boolean</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>#hasSibling</Ind>
<Ind>rdf:type</Ind>
<Ind>owl:SymmetricProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasSibling</Ind>
<Ind>rdfs:range</Ind>
<Ind>#Person</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasSibling</Ind>
<Ind>rdfs:domain</Ind>
<Ind>#Person</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasSibling</Ind>
<Ind>rdf:type</Ind>
<Ind>http://www.w3.org/2002/07/owl#ObjectProperty</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>#hasSibling</Ind>
<Ind>rdf:type</Ind>
<Ind>http://www.w3.org/2002/07/owl#TransitiveProperty</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>thp</Ind>
<Ind>rdf:type</Ind>
<Ind>Mother</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>thp</Ind>
<Ind>hasSister</Ind>
<Ind>tjp</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>tjp</Ind>
<Ind>rdf:type</Ind>
<Ind>Sister</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>tjp</Ind>
<Ind>hasSister</Ind>
<Ind>#thp</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>thp</Ind>
<Ind>hasChild</Ind>
<Ind>mj</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>mj</Ind>
<Ind>rdf:type</Ind>
<Ind>Daughter</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>mj</Ind>
<Ind>hasSister</Ind>
<Ind>lt</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>lt</Ind>
<Ind>rdf:type</Ind>
<Ind>Sister</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>lt</Ind>
<Ind>hasSister</Ind>
<Ind>#mj</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>mj</Ind>
<Ind>ageOf</Ind>
<Ind>24</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>mj</Ind>
<Ind>hasParent</Ind>
<Ind>mdg</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>mdg</Ind>
<Ind>rdf:type</Ind>
<Ind>Father</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>mdg</Ind>
<Ind>hasChild</Ind>
<Ind>#mj</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>mdg</Ind>
<Ind>hasBrother</Ind>
<Ind>mdq</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>mdq</Ind>
<Ind>rdf:type</Ind>
<Ind>Brother</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>mdq</Ind>
<Ind>hasBrother</Ind>
<Ind>#mdg</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>mdg</Ind>
<Ind>hasSister</Ind>
<Ind>mym</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>mym</Ind>
<Ind>rdf:type</Ind>
<Ind>Sister</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>mj</Ind>
<Ind>hasParent</Ind>
<Ind>#thp</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>mj</Ind>
<Ind>hasBrother</Ind>
<Ind>tw</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>tw</Ind>
<Ind>rdf:type</Ind>
<Ind>Brother</Ind>
</Atom>

  
<Atom>
<Rel>statememnt</Rel>
<Ind>ygmo</Ind>
<Ind>rdf:type</Ind>
<Ind>Special</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>ygmo</Ind>
<Ind>oftenSay</Ind>
<Ind>I love you</Ind>
</Atom>


<Atom>
<Rel>statememnt</Rel>
<Ind>ygmo</Ind>
<Ind>isSpecial</Ind>
<Ind>true</Ind>
</Atom>

</And>