lis#arithmetic_number  click here for details
  exclusion:  lis#class_of_class_of_individual  lis#class_of_number  lis#class_of_class_of_relationship  lis#class_of_property_space  lis#class_of_shape_dimension
  supertype:  lis#class_of_class  click here for details
  subtype: {lis#real_number lis#integer_number lis#multidimensional_number}
  member of:  lis#class_of_number  click here for details

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