Door
type: Class
subclass of: CompositeConstructionElement
subclass of: Restriction
  on property: hasComponent
  qualified cardinality: 1
  on class: Frame

Opening
type: Class
subclass of: PricedElement
subclass of: Restriction
  on property: hasComponent
  some values from: Geometry
subclass of: Restriction
  on property: hasComponent
  max qualified cardinality: 1
  on class: Class
    union of: Door
    union of: Window

Window
type: Class
subclass of: Class
  intersection of: CompositeConstructionElement
  intersection of: Restriction
    on property: hasLayer
    some values from: GlazingLayer
subclass of: Restriction
  on property: hasComponent
  qualified cardinality: 1
  on class: Frame

Wood
type: NamedIndividual
type: Material
has conductivity: 25.0