sowa#absurdity  the type of logically impossible objects (not of imaginary objects such as unicorns); this type cannot have any instance or subtype
  closed_exclusion:  pm#thing
  equal:  kif#bottom (pm)  owl#nothing (pm)  daml#empty (owl)

No statement uses or specializes owl#nothing; click here to add one.