#root.number  a number that when multiplied by itself some number of times equals a given number
  supertype:  number  a concept of quantity derived from zero and units; "every number has a unique position in the sequence"
  subtype:  square_root  a number that when multiplied by itself equals a given number
  subtype:  cube_root  a number that when multiplied three times equals a given number

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