#prime_quantity__primequantity__prime  a number that has no factor but itself and 1
  supertype:  #number  a concept of quantity derived from zero and units; "every number has a unique position in the sequence"
  subtype:  #prime_number__primenumber  an integer that has no integral factors but itself and 1

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