Armchair
type: Class
subclass of: DesignedFurniture
subclass of: Restriction
  on property: hasDisposition
  qualified cardinality: 1
  on class: CanBeSatOn

KitchenCabinet
type: Class
subclass of: Cupboard
subclass of: Restriction
  on property: hasDisposition
  qualified cardinality: 1
  on class: Class
    intersection of: Storage
    intersection of: Restriction
      on property: isDescribedBy
      some values from: AffordsStoringItems

Sink
type: Class
subclass of: DesignedComponent
subclass of: Restriction
  on property: hasDisposition
  qualified cardinality: 1
  on class: Class
    intersection of: Storage
    intersection of: Restriction
      on property: isDescribedBy
      some values from: AffordsStoringCutlery

Sofa
type: Class
subclass of: DesignedFurniture
subclass of: Restriction
  on property: hasDisposition
  qualified cardinality: 1
  on class: CanBeSatOn

Wardrobe
type: Class
subclass of: DesignedContainer
subclass of: DesignedFurniture
subclass of: Restriction
  on property: hasPhysicalComponent
  some values from: Rack
subclass of: Restriction
  on property: hasDisposition
  qualified cardinality: 1
  on class: Class
    intersection of: Storage
    intersection of: Restriction
      on property: isDescribedBy
      some values from: AffordsStoringCloth

Closing
type: Class
subclass of: Restriction
  on property: isTaskOf
  qualified cardinality: 1
  on class: Class
    intersection of: AgentRole
    intersection of: Restriction
      on property: classifies
      all values from: Restriction
        on property: hasDisposition
        some values from: CanOpen
subclass of: Restriction
  on property: isTaskOf
  qualified cardinality: 1
  on class: Class
    intersection of: MovedObject
    intersection of: Restriction
      on property: classifies
      all values from: Restriction
        on property: hasDisposition
        some values from: CanBeClosed

Drawer
type: Class
subclass of: Restriction
  on property: hasDisposition
  qualified cardinality: 1
  on class: Class
    intersection of: Storage
    intersection of: Restriction
      on property: isDescribedBy
      some values from: AffordsStoringSmallItems

Opening
type: Class
subclass of: Restriction
  on property: isTaskOf
  qualified cardinality: 1
  on class: Class
    intersection of: AgentRole
    intersection of: Restriction
      on property: classifies
      all values from: Restriction
        on property: hasDisposition
        some values from: CanOpen
subclass of: Restriction
  on property: isTaskOf
  qualified cardinality: 1
  on class: Class
    intersection of: MovedObject
    intersection of: Restriction
      on property: classifies
      all values from: Restriction
        on property: hasDisposition
        some values from: CanBeOpened