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

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