Aunt
type: Class
equivalent class: Class
  intersection of: Woman
  intersection of: Class
    union of: Restriction
      on property: hasNephew
      min cardinality: 1
    union of: Restriction
      on property: hasNiece
      min cardinality: 1
subclass of: Relative
disjoint with: Uncle

Child
type: Class
equivalent class: Class
  intersection of: Person
  intersection of: Restriction
    on property: hasParent
    min cardinality: 1

Nephew
type: Class
equivalent class: Class
  intersection of: Man
  intersection of: Class
    union of: Restriction
      on property: hasAunt
      min cardinality: 1
    union of: Restriction
      on property: hasUncle
      min cardinality: 1
subclass of: Relative
subclass of: Restriction
  on property: hasSex
  has value: Male
disjoint with: Niece

Niece
type: Class
equivalent class: Class
  intersection of: Woman
  intersection of: Class
    union of: Restriction
      on property: hasAunt
      min cardinality: 1
    union of: Restriction
      on property: hasUncle
      min cardinality: 1
subclass of: Relative
subclass of: Restriction
  on property: hasSex
  has value: Female

Parent
type: Class
equivalent class: Class
  intersection of: Person
  intersection of: Restriction
    on property: hasChild
    min cardinality: 1

Sibling
type: Class
equivalent class: Class
  intersection of: Person
  intersection of: Restriction
    on property: hasSibling
    min cardinality: 1

Uncle
type: Class
equivalent class: Class
  intersection of: Man
  intersection of: Class
    union of: Restriction
      on property: hasNephew
      min cardinality: 1
    union of: Restriction
      on property: hasNiece
      min cardinality: 1
subclass of: Relative
subclass of: Restriction
  on property: hasSex
  has value: Male

is rule enabled: true

is rule enabled: true

is rule enabled: true

is rule enabled: true

is rule enabled: true

is rule enabled: true

is rule enabled: true

is rule enabled: true

is rule enabled: true

is rule enabled: true

is rule enabled: true

is rule enabled: true