]> parent1 p C M D p parents p p1 C p2 M p3 D family.parent family.parent family.parent p1 C p2 M parent2 p C M D p parents p p1 C p2 M p3 D family.parent family.parent family.parent p1 C p2 D sibling ps1 ps2 X M D ps1 parents ps1 p1 X p2 M p3 D Y ps2 parents ps2 p1 Y http://www.w3.org/2007/rif-builtin-predicate#numeric-equal p2 M http://www.w3.org/2007/rif-builtin-predicate#numeric-equal p3 D http://www.w3.org/2007/rif-builtin-predicate#numeric-not-equal X Y family.sibling family.sibling family.sibling p1 X p2 Y aORuDirect p s C P p parent p p1 C p2 P A s sibling s p2 A http://www.w3.org/2007/rif-builtin-predicate#numeric-equal p1 P family.aORuDirect family.aORuDirect family.aORuDirect p1 C p2 A aORuMarriage1 ord m C X ord aORuDirect ord p1 C p2 X A m married m p2 A http://www.w3.org/2007/rif-builtin-predicate#numeric-equal p1 X family.aORuMarriage family.aORuMarriage family.aORuMarriage p1 C p2 A aORuMarriage2 ord m C X ord aORuDirect ord p1 C p2 X A m married m p1 A http://www.w3.org/2007/rif-builtin-predicate#numeric-equal p2 X family.aORuMarriage family.aORuMarriage family.aORuMarriage p1 C p2 A aORu1 ao1 C A ao1 aORuDirect ao1 p1 C p2 A family.aORu family.aORu family.aORu p1 C p2 A aORu2 ao2 C A ao2 aORuMarriage ao2 p1 C p2 A family.aORu family.aORu family.aORu p1 C p2 A