DLSafeRule
annotation:
  literal: true
annotation:
  literal: tiene-Padre
annotation:
  literal: Def-Tiene-Padre
body: ObjectPropertyAtom
body: ClassAtom
head: ObjectPropertyAtom

DLSafeRule
annotation:
  literal: true
annotation:
  literal: tener hermano
annotation:
  literal: Def-has-Brother
body: ObjectPropertyAtom
body: ClassAtom
head: ObjectPropertyAtom

DLSafeRule
annotation:
  literal: true
annotation:
  literal: tiene-Madre
annotation:
  literal: Def-tiene-madre
body: ObjectPropertyAtom
body: ClassAtom
head: ObjectPropertyAtom

DLSafeRule
annotation:
  literal: true
annotation:
  literal: tener hermana
annotation:
  literal: Def-has-Sister
body: ObjectPropertyAtom
body: ClassAtom
head: ObjectPropertyAtom

DLSafeRule
annotation:
  literal: true
annotation:
  literal: tiene hermanos
annotation:
  literal: Def-tiene-hermanos
body: ObjectPropertyAtom
body: DifferentIndividualsAtom
head: ObjectPropertyAtom