#Processed by Id: cwm.py,v 1.179 2005/10/28 01:38:42 timbl Exp # using base file:/euler/ # Notation3 generation by # notation3.py,v 1.184 2005/10/24 16:58:38 timbl Exp # Base was: file:/euler/ @prefix : . @prefix gc: . @prefix ged: . @prefix list: . @prefix log: . @prefix math: . @prefix owl: . @prefix rdf: . @prefix rdfs: . @forAll ged:A, ged:C, ged:C2, ged:D, ged:D2, ged:F, ged:GP, ged:H, ged:P, ged:S, ged:S2, ged:SP, ged:SP2, ged:U, ged:W, , , , , , , , , , , , , , , . () a rdf:List; (), ( :Ann :Bart ), ( :Ann_Sophie :Valerie :Stephanie :Louise ), ( :Bart ), ( :Bieke :Tineke ), ( :Caroline :Dirk :Greta ), ( :Dirk :Greta ), ( :Frederik :Stefanie :Stijn ), ( :Geert :Caroline :Dirk :Greta ), ( :Goedele :Veerle :Nele :Karel ), ( :Greta ), ( :Jos :Rita :Geert :Caroline :Dirk :Greta ), ( :Karel ), ( :Lien :Tom ), ( :Louise ), ( :Nele :Karel ), ( :Rita :Geert :Caroline :Dirk :Greta ), ( :Stefanie :Stijn ), ( :Stephanie :Louise ), ( :Stijn ), ( :Tineke ), ( :Tom ), ( :Valerie :Stephanie :Louise ), ( :Veerle :Nele :Karel ) . ( :Ann :Bart ) a rdf:List; ( :Ann :Bart ) . ( :Ann_Sophie :Valerie :Stephanie :Louise ) a rdf:List; ( :Ann_Sophie :Valerie :Stephanie :Louise ) . ( :Bart ) a rdf:List; ( :Ann :Bart ), ( :Bart ) . ( :Bieke :Tineke ) a rdf:List; ( :Bieke :Tineke ) . ( :Caroline :Dirk :Greta ) a rdf:List; ( :Caroline :Dirk :Greta ), ( :Geert :Caroline :Dirk :Greta ), ( :Jos :Rita :Geert :Caroline :Dirk :Greta ), ( :Rita :Geert :Caroline :Dirk :Greta ) . ( :Dirk :Greta ) a rdf:List; ( :Caroline :Dirk :Greta ), ( :Dirk :Greta ), ( :Geert :Caroline :Dirk :Greta ), ( :Jos :Rita :Geert :Caroline :Dirk :Greta ), ( :Rita :Geert :Caroline :Dirk :Greta ) . ( :Frederik :Stefanie :Stijn ) a rdf:List; ( :Frederik :Stefanie :Stijn ) . ( :Geert :Caroline :Dirk :Greta ) a rdf:List; ( :Geert :Caroline :Dirk :Greta ), ( :Jos :Rita :Geert :Caroline :Dirk :Greta ), ( :Rita :Geert :Caroline :Dirk :Greta ) . ( :Goedele :Veerle :Nele :Karel ) a rdf:List; ( :Goedele :Veerle :Nele :Karel ) . ( :Greta ) a rdf:List; ( :Caroline :Dirk :Greta ), ( :Dirk :Greta ), ( :Geert :Caroline :Dirk :Greta ), ( :Greta ), ( :Jos :Rita :Geert :Caroline :Dirk :Greta ), ( :Rita :Geert :Caroline :Dirk :Greta ) . ( :Jos :Rita :Geert :Caroline :Dirk :Greta ) a rdf:List; ( :Jos :Rita :Geert :Caroline :Dirk :Greta ) . ( :Karel ) a rdf:List; ( :Goedele :Veerle :Nele :Karel ), ( :Karel ), ( :Nele :Karel ), ( :Veerle :Nele :Karel ) . ( :Lien :Tom ) a rdf:List; ( :Lien :Tom ) . ( :Louise ) a rdf:List; ( :Ann_Sophie :Valerie :Stephanie :Louise ), ( :Louise ), ( :Stephanie :Louise ), ( :Valerie :Stephanie :Louise ) . ( :Nele :Karel ) a rdf:List; ( :Goedele :Veerle :Nele :Karel ), ( :Nele :Karel ), ( :Veerle :Nele :Karel ) . ( :Rita :Geert :Caroline :Dirk :Greta ) a rdf:List; ( :Jos :Rita :Geert :Caroline :Dirk :Greta ), ( :Rita :Geert :Caroline :Dirk :Greta ) . ( :Stefanie :Stijn ) a rdf:List; ( :Frederik :Stefanie :Stijn ), ( :Stefanie :Stijn ) . ( :Stephanie :Louise ) a rdf:List; ( :Ann_Sophie :Valerie :Stephanie :Louise ), ( :Stephanie :Louise ), ( :Valerie :Stephanie :Louise ) . ( :Stijn ) a rdf:List; ( :Frederik :Stefanie :Stijn ), ( :Stefanie :Stijn ), ( :Stijn ) . ( :Tineke ) a rdf:List; ( :Bieke :Tineke ), ( :Tineke ) . ( :Tom ) a rdf:List; ( :Lien :Tom ), ( :Tom ) . ( :Valerie :Stephanie :Louise ) a rdf:List; ( :Ann_Sophie :Valerie :Stephanie :Louise ), ( :Valerie :Stephanie :Louise ) . ( :Veerle :Nele :Karel ) a rdf:List; ( :Goedele :Veerle :Nele :Karel ), ( :Veerle :Nele :Karel ) . "$Id: rpo-rules.n3,v 1.9 2005/10/11 21:23:50 amdus Exp $" . :Ann a owl:Thing; gc:ancestor :Frans, :Maria, :Paul, :Rita; gc:aunt :Caroline, :Christine, :Greta, :Karolien, :Maaike; gc:brother :Bart; gc:childIn :gd; gc:cousin :Ann_Sophie, :Bieke, :Frederik, :Goedele, :Karel, :Lien, :Louise, :Nele, :Stefanie, :Stephanie, :Stijn, :Tineke, :Tom, :Valerie, :Veerle; gc:father :Paul; gc:firstcousin :Ann_Sophie, :Bieke, :Frederik, :Goedele, :Karel, :Lien, :Louise, :Nele, :Stefanie, :Stephanie, :Stijn, :Tineke, :Tom, :Valerie, :Veerle; gc:grandfather :Frans; gc:grandmother :Maria; gc:grandparent :Frans, :Maria; gc:mother :Rita; gc:parent :Paul, :Rita; gc:sex gc:Female; gc:sibling :Bart; gc:uncle :Dirk, :Geert, :Hendrik, :Jos, :Marc; list:in ( :Ann :Bart ); owl:differentFrom :Bart . :Ann_Sophie a owl:Thing; gc:ancestor :Christine, :Frans, :Geert, :Maria; gc:aunt :Caroline, :Greta, :Karolien, :Maaike, :Rita; gc:childIn :dv; gc:cousin :Ann, :Bart, :Bieke, :Frederik, :Goedele, :Karel, :Lien, :Nele, :Stefanie, :Stijn, :Tineke, :Tom, :Veerle; gc:father :Geert; gc:firstcousin :Ann, :Bart, :Bieke, :Frederik, :Goedele, :Karel, :Lien, :Nele, :Stefanie, :Stijn, :Tineke, :Tom, :Veerle; gc:grandfather :Frans; gc:grandmother :Maria; gc:grandparent :Frans, :Maria; gc:mother :Christine; gc:parent :Christine, :Geert; gc:sex gc:Female; gc:sibling :Louise, :Stephanie, :Valerie; gc:sister :Louise, :Stephanie, :Valerie; gc:uncle :Dirk, :Hendrik, :Jos, :Marc, :Paul; list:in ( :Ann_Sophie :Valerie :Stephanie :Louise ); owl:differentFrom :Louise, :Stephanie, :Valerie . :Bart a owl:Thing; gc:ancestor :Frans, :Maria, :Paul, :Rita; gc:aunt :Caroline, :Christine, :Greta, :Karolien, :Maaike; gc:childIn :gd; gc:cousin :Ann_Sophie, :Bieke, :Frederik, :Goedele, :Karel, :Lien, :Louise, :Nele, :Stefanie, :Stephanie, :Stijn, :Tineke, :Tom, :Valerie, :Veerle; gc:father :Paul; gc:firstcousin :Ann_Sophie, :Bieke, :Frederik, :Goedele, :Karel, :Lien, :Louise, :Nele, :Stefanie, :Stephanie, :Stijn, :Tineke, :Tom, :Valerie, :Veerle; gc:grandfather :Frans; gc:grandmother :Maria; gc:grandparent :Frans, :Maria; gc:mother :Rita; gc:parent :Paul, :Rita; gc:sex gc:Male; gc:sibling :Ann; gc:sister :Ann; gc:uncle :Dirk, :Geert, :Hendrik, :Jos, :Marc; list:in ( :Ann :Bart ), ( :Bart ); owl:differentFrom :Ann . :Bieke a owl:Thing; gc:ancestor :Caroline, :Frans, :Hendrik, :Maria; gc:aunt :Christine, :Greta, :Karolien, :Maaike, :Rita; gc:childIn :cd; gc:cousin :Ann, :Ann_Sophie, :Bart, :Frederik, :Goedele, :Karel, :Lien, :Louise, :Nele, :Stefanie, :Stephanie, :Stijn, :Tom, :Valerie, :Veerle; gc:father :Hendrik; gc:firstcousin :Ann, :Ann_Sophie, :Bart, :Frederik, :Goedele, :Karel, :Lien, :Louise, :Nele, :Stefanie, :Stephanie, :Stijn, :Tom, :Valerie, :Veerle; gc:grandfather :Frans; gc:grandmother :Maria; gc:grandparent :Frans, :Maria; gc:mother :Caroline; gc:parent :Caroline, :Hendrik; gc:sex gc:Female; gc:sibling :Tineke; gc:sister :Tineke; gc:uncle :Dirk, :Geert, :Jos, :Marc, :Paul; list:in ( :Bieke :Tineke ); owl:differentFrom :Tineke . :Caroline a owl:Thing; gc:ancestor :Frans, :Maria; gc:brother :Dirk, :Geert, :Jos; gc:child :Bieke, :Tineke; gc:childIn :dp; gc:daughter :Bieke, :Tineke; gc:descendent :Bieke, :Tineke; gc:father :Frans; gc:husband :Hendrik; gc:mother :Maria; gc:nephew :Bart, :Frederik, :Karel, :Stijn, :Tom; gc:niece :Ann, :Ann_Sophie, :Goedele, :Lien, :Louise, :Nele, :Stefanie, :Stephanie, :Valerie, :Veerle; gc:parent :Frans, :Maria; gc:sex gc:Female; gc:sibling :Dirk, :Geert, :Greta, :Jos, :Rita; gc:sister :Greta, :Rita; gc:spouse :Hendrik; gc:spouseIn :cd; list:in ( :Caroline :Dirk :Greta ), ( :Geert :Caroline :Dirk :Greta ), ( :Jos :Rita :Geert :Caroline :Dirk :Greta ), ( :Rita :Geert :Caroline :Dirk :Greta ); owl:differentFrom :Dirk, :Geert, :Greta, :Hendrik, :Jos, :Rita . :Christine a owl:Thing; gc:child :Ann_Sophie, :Louise, :Stephanie, :Valerie; gc:daughter :Ann_Sophie, :Louise, :Stephanie, :Valerie; gc:descendent :Ann_Sophie, :Louise, :Stephanie, :Valerie; gc:husband :Geert; gc:sex gc:Female; gc:spouse :Geert; gc:spouseIn :dv; owl:differentFrom :Geert . :Dirk a owl:Thing; gc:ancestor :Frans, :Maria; gc:brother :Geert, :Jos; gc:child :Frederik, :Stefanie, :Stijn; gc:childIn :dp; gc:daughter :Stefanie; gc:descendent :Frederik, :Stefanie, :Stijn; gc:father :Frans; gc:mother :Maria; gc:nephew :Bart, :Karel, :Tom; gc:niece :Ann, :Ann_Sophie, :Bieke, :Goedele, :Lien, :Louise, :Nele, :Stephanie, :Tineke, :Valerie, :Veerle; gc:parent :Frans, :Maria; gc:sex gc:Male; gc:sibling :Caroline, :Geert, :Greta, :Jos, :Rita; gc:sister :Caroline, :Greta, :Rita; gc:son :Frederik, :Stijn; gc:spouse :Karolien; gc:spouseIn :dc; gc:wife :Karolien; list:in ( :Caroline :Dirk :Greta ), ( :Dirk :Greta ), ( :Geert :Caroline :Dirk :Greta ), ( :Jos :Rita :Geert :Caroline :Dirk :Greta ), ( :Rita :Geert :Caroline :Dirk :Greta ); owl:differentFrom :Caroline, :Geert, :Greta, :Jos, :Karolien, :Rita . :Frans a owl:Thing; gc:child :Caroline, :Dirk, :Geert, :Greta, :Jos, :Rita; gc:daughter :Caroline, :Greta, :Rita; gc:descendent :Ann, :Ann_Sophie, :Bart, :Bieke, :Caroline, :Dirk, :Frederik, :Geert, :Goedele, :Greta, :Jos, :Karel, :Lien, :Louise, :Nele, :Rita, :Stefanie, :Stephanie, :Stijn, :Tineke, :Tom, :Valerie, :Veerle; gc:grandchild :Ann, :Ann_Sophie, :Bart, :Bieke, :Frederik, :Goedele, :Karel, :Lien, :Louise, :Nele, :Stefanie, :Stephanie, :Stijn, :Tineke, :Tom, :Valerie, :Veerle; gc:granddaughter :Ann, :Ann_Sophie, :Bieke, :Goedele, :Lien, :Louise, :Nele, :Stefanie, :Stephanie, :Tineke, :Valerie, :Veerle; gc:grandson :Bart, :Frederik, :Karel, :Stijn, :Tom; gc:sex gc:Male; gc:son :Dirk, :Geert, :Jos; gc:spouse :Maria; gc:spouseIn :dp; gc:wife :Maria; owl:differentFrom :Maria . :Frederik a owl:Thing; gc:ancestor :Dirk, :Frans, :Karolien, :Maria; gc:aunt :Caroline, :Christine, :Greta, :Maaike, :Rita; gc:brother :Stijn; gc:childIn :dc; gc:cousin :Ann, :Ann_Sophie, :Bart, :Bieke, :Goedele, :Karel, :Lien, :Louise, :Nele, :Stephanie, :Tineke, :Tom, :Valerie, :Veerle; gc:father :Dirk; gc:firstcousin :Ann, :Ann_Sophie, :Bart, :Bieke, :Goedele, :Karel, :Lien, :Louise, :Nele, :Stephanie, :Tineke, :Tom, :Valerie, :Veerle; gc:grandfather :Frans; gc:grandmother :Maria; gc:grandparent :Frans, :Maria; gc:mother :Karolien; gc:parent :Dirk, :Karolien; gc:sex gc:Male; gc:sibling :Stefanie, :Stijn; gc:sister :Stefanie; gc:uncle :Geert, :Hendrik, :Jos, :Marc, :Paul; list:in ( :Frederik :Stefanie :Stijn ); owl:differentFrom :Stefanie, :Stijn . :Geert a owl:Thing; gc:ancestor :Frans, :Maria; gc:brother :Dirk, :Jos; gc:child :Ann_Sophie, :Louise, :Stephanie, :Valerie; gc:childIn :dp; gc:daughter :Ann_Sophie, :Louise, :Stephanie, :Valerie; gc:descendent :Ann_Sophie, :Louise, :Stephanie, :Valerie; gc:father :Frans; gc:mother :Maria; gc:nephew :Bart, :Frederik, :Karel, :Stijn, :Tom; gc:niece :Ann, :Bieke, :Goedele, :Lien, :Nele, :Stefanie, :Tineke, :Veerle; gc:parent :Frans, :Maria; gc:sex gc:Male; gc:sibling :Caroline, :Dirk, :Greta, :Jos, :Rita; gc:sister :Caroline, :Greta, :Rita; gc:spouse :Christine; gc:spouseIn :dv; gc:wife :Christine; list:in ( :Geert :Caroline :Dirk :Greta ), ( :Jos :Rita :Geert :Caroline :Dirk :Greta ), ( :Rita :Geert :Caroline :Dirk :Greta ); owl:differentFrom :Caroline, :Christine, :Dirk, :Greta, :Jos, :Rita . :Goedele a owl:Thing; gc:ancestor :Frans, :Jos, :Maaike, :Maria; gc:aunt :Caroline, :Christine, :Greta, :Karolien, :Rita; gc:brother :Karel; gc:childIn :dt; gc:cousin :Ann, :Ann_Sophie, :Bart, :Bieke, :Frederik, :Lien, :Louise, :Stefanie, :Stephanie, :Stijn, :Tineke, :Tom, :Valerie; gc:father :Jos; gc:firstcousin :Ann, :Ann_Sophie, :Bart, :Bieke, :Frederik, :Lien, :Louise, :Stefanie, :Stephanie, :Stijn, :Tineke, :Tom, :Valerie; gc:grandfather :Frans; gc:grandmother :Maria; gc:grandparent :Frans, :Maria; gc:mother :Maaike; gc:parent :Jos, :Maaike; gc:sex gc:Female; gc:sibling :Karel, :Nele, :Veerle; gc:sister :Nele, :Veerle; gc:uncle :Dirk, :Geert, :Hendrik, :Marc, :Paul; list:in ( :Goedele :Veerle :Nele :Karel ); owl:differentFrom :Karel, :Nele, :Veerle . :Greta a owl:Thing; gc:ancestor :Frans, :Maria; gc:brother :Dirk, :Geert, :Jos; gc:child :Lien, :Tom; gc:childIn :dp; gc:daughter :Lien; gc:descendent :Lien, :Tom; gc:father :Frans; gc:husband :Marc; gc:mother :Maria; gc:nephew :Bart, :Frederik, :Karel, :Stijn; gc:niece :Ann, :Ann_Sophie, :Bieke, :Goedele, :Louise, :Nele, :Stefanie, :Stephanie, :Tineke, :Valerie, :Veerle; gc:parent :Frans, :Maria; gc:sex gc:Female; gc:sibling :Caroline, :Dirk, :Geert, :Jos, :Rita; gc:sister :Caroline, :Rita; gc:son :Tom; gc:spouse :Marc; gc:spouseIn :sd; list:in ( :Caroline :Dirk :Greta ), ( :Dirk :Greta ), ( :Geert :Caroline :Dirk :Greta ), ( :Greta ), ( :Jos :Rita :Geert :Caroline :Dirk :Greta ), ( :Rita :Geert :Caroline :Dirk :Greta ); owl:differentFrom :Caroline, :Dirk, :Geert, :Jos, :Marc, :Rita . :Hendrik a owl:Thing; gc:child :Bieke, :Tineke; gc:daughter :Bieke, :Tineke; gc:descendent :Bieke, :Tineke; gc:sex gc:Male; gc:spouse :Caroline; gc:spouseIn :cd; gc:wife :Caroline; owl:differentFrom :Caroline . :Jos a owl:Thing; gc:ancestor :Frans, :Maria; gc:brother :Dirk, :Geert; gc:child :Goedele, :Karel, :Nele, :Veerle; gc:childIn :dp; gc:daughter :Goedele, :Nele, :Veerle; gc:descendent :Goedele, :Karel, :Nele, :Veerle; gc:father :Frans; gc:mother :Maria; gc:nephew :Bart, :Frederik, :Stijn, :Tom; gc:niece :Ann, :Ann_Sophie, :Bieke, :Lien, :Louise, :Stefanie, :Stephanie, :Tineke, :Valerie; gc:parent :Frans, :Maria; gc:sex gc:Male; gc:sibling :Caroline, :Dirk, :Geert, :Greta, :Rita; gc:sister :Caroline, :Greta, :Rita; gc:son :Karel; gc:spouse :Maaike; gc:spouseIn :dt; gc:wife :Maaike; list:in ( :Jos :Rita :Geert :Caroline :Dirk :Greta ); owl:differentFrom :Caroline, :Dirk, :Geert, :Greta, :Maaike, :Rita . :Karel a owl:Thing; gc:ancestor :Frans, :Jos, :Maaike, :Maria; gc:aunt :Caroline, :Christine, :Greta, :Karolien, :Rita; gc:childIn :dt; gc:cousin :Ann, :Ann_Sophie, :Bart, :Bieke, :Frederik, :Lien, :Louise, :Stefanie, :Stephanie, :Stijn, :Tineke, :Tom, :Valerie; gc:father :Jos; gc:firstcousin :Ann, :Ann_Sophie, :Bart, :Bieke, :Frederik, :Lien, :Louise, :Stefanie, :Stephanie, :Stijn, :Tineke, :Tom, :Valerie; gc:grandfather :Frans; gc:grandmother :Maria; gc:grandparent :Frans, :Maria; gc:mother :Maaike; gc:parent :Jos, :Maaike; gc:sex gc:Male; gc:sibling :Goedele, :Nele, :Veerle; gc:sister :Goedele, :Nele, :Veerle; gc:uncle :Dirk, :Geert, :Hendrik, :Marc, :Paul; list:in ( :Goedele :Veerle :Nele :Karel ), ( :Karel ), ( :Nele :Karel ), ( :Veerle :Nele :Karel ); owl:differentFrom :Goedele, :Nele, :Veerle . :Karolien a owl:Thing; gc:child :Frederik, :Stefanie, :Stijn; gc:daughter :Stefanie; gc:descendent :Frederik, :Stefanie, :Stijn; gc:husband :Dirk; gc:sex gc:Female; gc:son :Frederik, :Stijn; gc:spouse :Dirk; gc:spouseIn :dc; owl:differentFrom :Dirk . :Lien a owl:Thing; gc:ancestor :Frans, :Greta, :Marc, :Maria; gc:aunt :Caroline, :Christine, :Karolien, :Maaike, :Rita; gc:brother :Tom; gc:childIn :sd; gc:cousin :Ann, :Ann_Sophie, :Bart, :Bieke, :Frederik, :Goedele, :Karel, :Louise, :Nele, :Stefanie, :Stephanie, :Stijn, :Tineke, :Valerie, :Veerle; gc:father :Marc; gc:firstcousin :Ann, :Ann_Sophie, :Bart, :Bieke, :Frederik, :Goedele, :Karel, :Louise, :Nele, :Stefanie, :Stephanie, :Stijn, :Tineke, :Valerie, :Veerle; gc:grandfather :Frans; gc:grandmother :Maria; gc:grandparent :Frans, :Maria; gc:mother :Greta; gc:parent :Greta, :Marc; gc:sex gc:Female; gc:sibling :Tom; gc:uncle :Dirk, :Geert, :Hendrik, :Jos, :Paul; list:in ( :Lien :Tom ); owl:differentFrom :Tom . :Louise a owl:Thing; gc:ancestor :Christine, :Frans, :Geert, :Maria; gc:aunt :Caroline, :Greta, :Karolien, :Maaike, :Rita; gc:childIn :dv; gc:cousin :Ann, :Bart, :Bieke, :Frederik, :Goedele, :Karel, :Lien, :Nele, :Stefanie, :Stijn, :Tineke, :Tom, :Veerle; gc:father :Geert; gc:firstcousin :Ann, :Bart, :Bieke, :Frederik, :Goedele, :Karel, :Lien, :Nele, :Stefanie, :Stijn, :Tineke, :Tom, :Veerle; gc:grandfather :Frans; gc:grandmother :Maria; gc:grandparent :Frans, :Maria; gc:mother :Christine; gc:parent :Christine, :Geert; gc:sex gc:Female; gc:sibling :Ann_Sophie, :Stephanie, :Valerie; gc:sister :Ann_Sophie, :Stephanie, :Valerie; gc:uncle :Dirk, :Hendrik, :Jos, :Marc, :Paul; list:in ( :Ann_Sophie :Valerie :Stephanie :Louise ), ( :Louise ), ( :Stephanie :Louise ), ( :Valerie :Stephanie :Louise ); owl:differentFrom :Ann_Sophie, :Stephanie, :Valerie . :Maaike a owl:Thing; gc:child :Goedele, :Karel, :Nele, :Veerle; gc:daughter :Goedele, :Nele, :Veerle; gc:descendent :Goedele, :Karel, :Nele, :Veerle; gc:husband :Jos; gc:sex gc:Female; gc:son :Karel; gc:spouse :Jos; gc:spouseIn :dt; owl:differentFrom :Jos . :Marc a owl:Thing; gc:child :Lien, :Tom; gc:daughter :Lien; gc:descendent :Lien, :Tom; gc:sex gc:Male; gc:son :Tom; gc:spouse :Greta; gc:spouseIn :sd; gc:wife :Greta; owl:differentFrom :Greta . :Maria a owl:Thing; gc:child :Caroline, :Dirk, :Geert, :Greta, :Jos, :Rita; gc:daughter :Caroline, :Greta, :Rita; gc:descendent :Ann, :Ann_Sophie, :Bart, :Bieke, :Caroline, :Dirk, :Frederik, :Geert, :Goedele, :Greta, :Jos, :Karel, :Lien, :Louise, :Nele, :Rita, :Stefanie, :Stephanie, :Stijn, :Tineke, :Tom, :Valerie, :Veerle; gc:grandchild :Ann, :Ann_Sophie, :Bart, :Bieke, :Frederik, :Goedele, :Karel, :Lien, :Louise, :Nele, :Stefanie, :Stephanie, :Stijn, :Tineke, :Tom, :Valerie, :Veerle; gc:granddaughter :Ann, :Ann_Sophie, :Bieke, :Goedele, :Lien, :Louise, :Nele, :Stefanie, :Stephanie, :Tineke, :Valerie, :Veerle; gc:grandson :Bart, :Frederik, :Karel, :Stijn, :Tom; gc:husband :Frans; gc:sex gc:Female; gc:son :Dirk, :Geert, :Jos; gc:spouse :Frans; gc:spouseIn :dp; owl:differentFrom :Frans . :Nele a owl:Thing; gc:ancestor :Frans, :Jos, :Maaike, :Maria; gc:aunt :Caroline, :Christine, :Greta, :Karolien, :Rita; gc:brother :Karel; gc:childIn :dt; gc:cousin :Ann, :Ann_Sophie, :Bart, :Bieke, :Frederik, :Lien, :Louise, :Stefanie, :Stephanie, :Stijn, :Tineke, :Tom, :Valerie; gc:father :Jos; gc:firstcousin :Ann, :Ann_Sophie, :Bart, :Bieke, :Frederik, :Lien, :Louise, :Stefanie, :Stephanie, :Stijn, :Tineke, :Tom, :Valerie; gc:grandfather :Frans; gc:grandmother :Maria; gc:grandparent :Frans, :Maria; gc:mother :Maaike; gc:parent :Jos, :Maaike; gc:sex gc:Female; gc:sibling :Goedele, :Karel, :Veerle; gc:sister :Goedele, :Veerle; gc:uncle :Dirk, :Geert, :Hendrik, :Marc, :Paul; list:in ( :Goedele :Veerle :Nele :Karel ), ( :Nele :Karel ), ( :Veerle :Nele :Karel ); owl:differentFrom :Goedele, :Karel, :Veerle . :Paul a owl:Thing; gc:child :Ann, :Bart; gc:daughter :Ann; gc:descendent :Ann, :Bart; gc:sex gc:Male; gc:son :Bart; gc:spouse :Rita; gc:spouseIn :gd; gc:wife :Rita; owl:differentFrom :Rita . :Rita a owl:Thing; gc:ancestor :Frans, :Maria; gc:brother :Dirk, :Geert, :Jos; gc:child :Ann, :Bart; gc:childIn :dp; gc:daughter :Ann; gc:descendent :Ann, :Bart; gc:father :Frans; gc:husband :Paul; gc:mother :Maria; gc:nephew :Frederik, :Karel, :Stijn, :Tom; gc:niece :Ann_Sophie, :Bieke, :Goedele, :Lien, :Louise, :Nele, :Stefanie, :Stephanie, :Tineke, :Valerie, :Veerle; gc:parent :Frans, :Maria; gc:sex gc:Female; gc:sibling :Caroline, :Dirk, :Geert, :Greta, :Jos; gc:sister :Caroline, :Greta; gc:son :Bart; gc:spouse :Paul; gc:spouseIn :gd; list:in ( :Jos :Rita :Geert :Caroline :Dirk :Greta ), ( :Rita :Geert :Caroline :Dirk :Greta ); owl:differentFrom :Caroline, :Dirk, :Geert, :Greta, :Jos, :Paul . :Stefanie a owl:Thing; gc:ancestor :Dirk, :Frans, :Karolien, :Maria; gc:aunt :Caroline, :Christine, :Greta, :Maaike, :Rita; gc:brother :Frederik, :Stijn; gc:childIn :dc; gc:cousin :Ann, :Ann_Sophie, :Bart, :Bieke, :Goedele, :Karel, :Lien, :Louise, :Nele, :Stephanie, :Tineke, :Tom, :Valerie, :Veerle; gc:father :Dirk; gc:firstcousin :Ann, :Ann_Sophie, :Bart, :Bieke, :Goedele, :Karel, :Lien, :Louise, :Nele, :Stephanie, :Tineke, :Tom, :Valerie, :Veerle; gc:grandfather :Frans; gc:grandmother :Maria; gc:grandparent :Frans, :Maria; gc:mother :Karolien; gc:parent :Dirk, :Karolien; gc:sex gc:Female; gc:sibling :Frederik, :Stijn; gc:uncle :Geert, :Hendrik, :Jos, :Marc, :Paul; list:in ( :Frederik :Stefanie :Stijn ), ( :Stefanie :Stijn ); owl:differentFrom :Frederik, :Stijn . :Stephanie a owl:Thing; gc:ancestor :Christine, :Frans, :Geert, :Maria; gc:aunt :Caroline, :Greta, :Karolien, :Maaike, :Rita; gc:childIn :dv; gc:cousin :Ann, :Bart, :Bieke, :Frederik, :Goedele, :Karel, :Lien, :Nele, :Stefanie, :Stijn, :Tineke, :Tom, :Veerle; gc:father :Geert; gc:firstcousin :Ann, :Bart, :Bieke, :Frederik, :Goedele, :Karel, :Lien, :Nele, :Stefanie, :Stijn, :Tineke, :Tom, :Veerle; gc:grandfather :Frans; gc:grandmother :Maria; gc:grandparent :Frans, :Maria; gc:mother :Christine; gc:parent :Christine, :Geert; gc:sex gc:Female; gc:sibling :Ann_Sophie, :Louise, :Valerie; gc:sister :Ann_Sophie, :Louise, :Valerie; gc:uncle :Dirk, :Hendrik, :Jos, :Marc, :Paul; list:in ( :Ann_Sophie :Valerie :Stephanie :Louise ), ( :Stephanie :Louise ), ( :Valerie :Stephanie :Louise ); owl:differentFrom :Ann_Sophie, :Louise, :Valerie . :Stijn a owl:Thing; gc:ancestor :Dirk, :Frans, :Karolien, :Maria; gc:aunt :Caroline, :Christine, :Greta, :Maaike, :Rita; gc:brother :Frederik; gc:childIn :dc; gc:cousin :Ann, :Ann_Sophie, :Bart, :Bieke, :Goedele, :Karel, :Lien, :Louise, :Nele, :Stephanie, :Tineke, :Tom, :Valerie, :Veerle; gc:father :Dirk; gc:firstcousin :Ann, :Ann_Sophie, :Bart, :Bieke, :Goedele, :Karel, :Lien, :Louise, :Nele, :Stephanie, :Tineke, :Tom, :Valerie, :Veerle; gc:grandfather :Frans; gc:grandmother :Maria; gc:grandparent :Frans, :Maria; gc:mother :Karolien; gc:parent :Dirk, :Karolien; gc:sex gc:Male; gc:sibling :Frederik, :Stefanie; gc:sister :Stefanie; gc:uncle :Geert, :Hendrik, :Jos, :Marc, :Paul; list:in ( :Frederik :Stefanie :Stijn ), ( :Stefanie :Stijn ), ( :Stijn ); owl:differentFrom :Frederik, :Stefanie . :Tineke a owl:Thing; gc:ancestor :Caroline, :Frans, :Hendrik, :Maria; gc:aunt :Christine, :Greta, :Karolien, :Maaike, :Rita; gc:childIn :cd; gc:cousin :Ann, :Ann_Sophie, :Bart, :Frederik, :Goedele, :Karel, :Lien, :Louise, :Nele, :Stefanie, :Stephanie, :Stijn, :Tom, :Valerie, :Veerle; gc:father :Hendrik; gc:firstcousin :Ann, :Ann_Sophie, :Bart, :Frederik, :Goedele, :Karel, :Lien, :Louise, :Nele, :Stefanie, :Stephanie, :Stijn, :Tom, :Valerie, :Veerle; gc:grandfather :Frans; gc:grandmother :Maria; gc:grandparent :Frans, :Maria; gc:mother :Caroline; gc:parent :Caroline, :Hendrik; gc:sex gc:Female; gc:sibling :Bieke; gc:sister :Bieke; gc:uncle :Dirk, :Geert, :Jos, :Marc, :Paul; list:in ( :Bieke :Tineke ), ( :Tineke ); owl:differentFrom :Bieke . :Tom a owl:Thing; gc:ancestor :Frans, :Greta, :Marc, :Maria; gc:aunt :Caroline, :Christine, :Karolien, :Maaike, :Rita; gc:childIn :sd; gc:cousin :Ann, :Ann_Sophie, :Bart, :Bieke, :Frederik, :Goedele, :Karel, :Louise, :Nele, :Stefanie, :Stephanie, :Stijn, :Tineke, :Valerie, :Veerle; gc:father :Marc; gc:firstcousin :Ann, :Ann_Sophie, :Bart, :Bieke, :Frederik, :Goedele, :Karel, :Louise, :Nele, :Stefanie, :Stephanie, :Stijn, :Tineke, :Valerie, :Veerle; gc:grandfather :Frans; gc:grandmother :Maria; gc:grandparent :Frans, :Maria; gc:mother :Greta; gc:parent :Greta, :Marc; gc:sex gc:Male; gc:sibling :Lien; gc:sister :Lien; gc:uncle :Dirk, :Geert, :Hendrik, :Jos, :Paul; list:in ( :Lien :Tom ), ( :Tom ); owl:differentFrom :Lien . :Valerie a owl:Thing; gc:ancestor :Christine, :Frans, :Geert, :Maria; gc:aunt :Caroline, :Greta, :Karolien, :Maaike, :Rita; gc:childIn :dv; gc:cousin :Ann, :Bart, :Bieke, :Frederik, :Goedele, :Karel, :Lien, :Nele, :Stefanie, :Stijn, :Tineke, :Tom, :Veerle; gc:father :Geert; gc:firstcousin :Ann, :Bart, :Bieke, :Frederik, :Goedele, :Karel, :Lien, :Nele, :Stefanie, :Stijn, :Tineke, :Tom, :Veerle; gc:grandfather :Frans; gc:grandmother :Maria; gc:grandparent :Frans, :Maria; gc:mother :Christine; gc:parent :Christine, :Geert; gc:sex gc:Female; gc:sibling :Ann_Sophie, :Louise, :Stephanie; gc:sister :Ann_Sophie, :Louise, :Stephanie; gc:uncle :Dirk, :Hendrik, :Jos, :Marc, :Paul; list:in ( :Ann_Sophie :Valerie :Stephanie :Louise ), ( :Valerie :Stephanie :Louise ); owl:differentFrom :Ann_Sophie, :Louise, :Stephanie . :Veerle a owl:Thing; gc:ancestor :Frans, :Jos, :Maaike, :Maria; gc:aunt :Caroline, :Christine, :Greta, :Karolien, :Rita; gc:brother :Karel; gc:childIn :dt; gc:cousin :Ann, :Ann_Sophie, :Bart, :Bieke, :Frederik, :Lien, :Louise, :Stefanie, :Stephanie, :Stijn, :Tineke, :Tom, :Valerie; gc:father :Jos; gc:firstcousin :Ann, :Ann_Sophie, :Bart, :Bieke, :Frederik, :Lien, :Louise, :Stefanie, :Stephanie, :Stijn, :Tineke, :Tom, :Valerie; gc:grandfather :Frans; gc:grandmother :Maria; gc:grandparent :Frans, :Maria; gc:mother :Maaike; gc:parent :Jos, :Maaike; gc:sex gc:Female; gc:sibling :Goedele, :Karel, :Nele; gc:sister :Goedele, :Nele; gc:uncle :Dirk, :Geert, :Hendrik, :Marc, :Paul; list:in ( :Goedele :Veerle :Nele :Karel ), ( :Veerle :Nele :Karel ); owl:differentFrom :Goedele, :Karel, :Nele . :cd a owl:AllDifferent; owl:distinctMembers (), ( :Bieke :Tineke ), ( :Tineke ) . :dc a owl:AllDifferent; owl:distinctMembers (), ( :Frederik :Stefanie :Stijn ), ( :Stefanie :Stijn ), ( :Stijn ) . :dp a owl:AllDifferent; owl:distinctMembers (), ( :Caroline :Dirk :Greta ), ( :Dirk :Greta ), ( :Geert :Caroline :Dirk :Greta ), ( :Greta ), ( :Jos :Rita :Geert :Caroline :Dirk :Greta ), ( :Rita :Geert :Caroline :Dirk :Greta ) . :dt a owl:AllDifferent; owl:distinctMembers (), ( :Goedele :Veerle :Nele :Karel ), ( :Karel ), ( :Nele :Karel ), ( :Veerle :Nele :Karel ) . :dv a owl:AllDifferent; owl:distinctMembers (), ( :Ann_Sophie :Valerie :Stephanie :Louise ), ( :Louise ), ( :Stephanie :Louise ), ( :Valerie :Stephanie :Louise ) . :gd a owl:AllDifferent; owl:distinctMembers (), ( :Ann :Bart ), ( :Bart ) . :sd a owl:AllDifferent; owl:distinctMembers (), ( :Lien :Tom ), ( :Tom ) . gc:ancestor a rdf:Property, owl:ObjectProperty, owl:TransitiveProperty; owl:inverseOf gc:descendent . gc:child a owl:ObjectProperty; owl:inverseOf gc:parent . gc:descendent a owl:ObjectProperty; owl:inverseOf gc:ancestor . gc:grandchild a owl:ObjectProperty; owl:inverseOf gc:grandparent . gc:grandparent a owl:ObjectProperty; owl:inverseOf gc:grandchild . gc:parent a rdf:Property, owl:ObjectProperty; rdfs:subPropertyOf gc:ancestor; owl:inverseOf gc:child . gc:sibling a owl:SymmetricProperty . gc:spouse a owl:SymmetricProperty . rdf:first a owl:FunctionalProperty; rdfs:domain rdf:List; rdfs:range rdfs:Resource . rdf:rest a owl:FunctionalProperty; rdfs:domain rdf:List; rdfs:range rdf:List . rdfs:subClassOf a owl:TransitiveProperty; rdfs:domain rdfs:Class; rdfs:range rdfs:Class . rdfs:subPropertyOf a owl:TransitiveProperty; rdfs:domain rdf:Property; rdfs:range rdf:Property . owl:differentFrom a owl:SymmetricProperty; rdfs:domain owl:Thing; rdfs:range owl:Thing . owl:distinctMembers rdfs:domain owl:AllDifferent; rdfs:range rdf:List . owl:inverseOf a owl:SymmetricProperty; rdfs:domain owl:ObjectProperty; rdfs:range owl:ObjectProperty . { a rdf:List . } log:implies { . } . { ged:C gc:childIn ged:F . ged:P gc:spouseIn ged:F . } log:implies {ged:C gc:parent ged:P . } . { ged:C gc:grandparent ged:GP; gc:sex gc:Female . } log:implies {ged:GP gc:granddaughter ged:C . } . { ged:C gc:grandparent ged:GP; gc:sex gc:Male . } log:implies {ged:GP gc:grandson ged:C . } . { ged:C gc:grandparent ged:GP . ged:GP gc:sex gc:Female . } log:implies {ged:C gc:grandmother ged:GP . } . { ged:C gc:grandparent ged:GP . ged:GP gc:sex gc:Male . } log:implies {ged:C gc:grandfather ged:GP . } . { ged:C gc:parent ged:P; gc:sex gc:Female . } log:implies {ged:P gc:daughter ged:C . } . { ged:C gc:parent ged:P; gc:sex gc:Male . } log:implies {ged:P gc:son ged:C . } . { ged:C gc:parent ged:P . ged:P gc:brother ged:U . } log:implies {ged:C gc:uncle ged:U . } . { ged:C gc:parent ged:P . ged:P gc:parent ged:GP . } log:implies {ged:C gc:grandparent ged:GP . } . { ged:C gc:parent ged:P . ged:P gc:sex gc:Female . } log:implies {ged:C gc:mother ged:P . } . { ged:C gc:parent ged:P . ged:P gc:sex gc:Male . } log:implies {ged:C gc:father ged:P . } . { ged:C gc:parent ged:P . ged:P gc:sister ged:A . } log:implies {ged:C gc:aunt ged:A . } . { ged:C gc:sibling ged:S . ged:S gc:sex gc:Female . } log:implies {ged:C gc:sister ged:S . } . { ged:C gc:sibling ged:S . ged:S gc:sex gc:Male . } log:implies {ged:C gc:brother ged:S . } . { ged:H gc:sex gc:Male . ged:SP gc:spouse ged:H . } log:implies {ged:SP gc:husband ged:H . } . { ged:P gc:daughter ged:C; gc:sibling ged:S . } log:implies {ged:S gc:niece ged:C . } . { ged:P gc:sibling ged:S; gc:son ged:C . } log:implies {ged:S gc:nephew ged:C . } . { ged:SP gc:spouse ged:W . ged:W gc:sex gc:Female . } log:implies {ged:SP gc:wife ged:W . } . { rdfs:subClassOf . a . } log:implies { a . } . { owl:distinctMembers . rdf:rest . } log:implies { owl:distinctMembers . } . { owl:oneOf . list:in . } log:implies { a . } . { a rdf:List; rdf:first . } log:implies { list:in . } . { a owl:SymmetricProperty . . } log:implies { . } . { rdfs:domain . . } log:implies { a . } . { rdfs:range . . } log:implies { a . } . { rdfs:subPropertyOf . . } log:implies { . } . { owl:inverseOf . . } log:implies { . } . { ( 1.0 ) math:difference . ( ) . owl:complementOf . } log:implies { ( ) . } . { ged:A gc:spouse ged:U . ged:C gc:parent ged:P . ged:P gc:sister ged:A . } log:implies {ged:C gc:uncle ged:U . } . { ged:C gc:childIn ged:F; owl:differentFrom ged:C2 . ged:C2 gc:childIn ged:F . } log:implies {ged:C gc:sibling ged:C2 . } . { ged:C gc:parent ged:P . ged:P gc:brother ged:U . ged:U gc:spouse ged:A . } log:implies {ged:C gc:aunt ged:A . } . { ged:C gc:parent ged:S . ged:C2 gc:parent ged:S2 . ged:S gc:sibling ged:S2 . } log:implies {ged:C gc:firstcousin ged:C2 . } . { ged:S gc:descendent ged:D; gc:sibling ged:S2 . ged:S2 gc:descendent ged:D2 . } log:implies {ged:D gc:cousin ged:D2 . } . { ged:SP gc:spouseIn ged:F; owl:differentFrom ged:SP2 . ged:SP2 gc:spouseIn ged:F . } log:implies {ged:SP gc:spouse ged:SP2 . } . { list:in . a rdf:List; rdf:rest . } log:implies { list:in . } . { a rdf:List; rdf:rest . . } log:implies { . } . { a owl:FunctionalProperty . , . } log:implies { = . } . { a owl:InverseFunctionalProperty . . . } log:implies { = . } . { a owl:TransitiveProperty . . . } log:implies { . } . { ( ) . ( ) . owl:intersectionOf ( ) . math:lessThan . } log:implies { ( ) . } . { ( ) . ( ) . owl:intersectionOf ( ) . math:notLessThan . } log:implies { ( ) . } . { ( ) . ( ) . owl:unionOf ( ) . math:lessThan . } log:implies { ( ) . } . { ( ) . ( ) . owl:unionOf ( ) . math:notLessThan . } log:implies { ( ) . } . { owl:distinctMembers . ; rdf:first ; rdf:rest . list:in . } log:implies { owl:differentFrom . } . #ENDS