Adulte
type: Class
equivalent class: Restriction
  on property: age
  some values from: Datatype
    on datatype: integer
    with restrictions:
      min inclusive: 18
subclass of: Public
disjoint with: Enfant

AdulteCond
type: Class
equivalent class: Restriction
  on property: subject
  qualified cardinality: 1
  on class: Adulte
subclass of: Condition

Enfant
type: Class
equivalent class: Restriction
  on property: age
  some values from: Datatype
    on datatype: integer
    with restrictions:
      max exclusive: 18
subclass of: Public

EnfantCond
type: Class
equivalent class: Restriction
  on property: subject
  qualified cardinality: 1
  on class: Enfant
subclass of: Condition