#twelve__12__XII__dozen  the cardinal number that is the sum of eleven and one
  supertype:  #large_integer__largeinteger  an integer equal to or greater than ten
  subtype:  #boxcars__boxcar  (usually plural) when two dice are thrown and both come up showing six spots the result is called `boxcars'

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