Property:Parent of

 The transitive closure is has transitive closure :: Property:Ancestor of