lis#class_of_number  click here for details
  exclusion:  lis#class_of_class_of_individual  lis#class_of_class_of_relationship  lis#arithmetic_number  lis#class_of_property_space  lis#class_of_shape_dimension
  supertype:  lis#class_of_class  click here for details
  subtype: {lis#number_space lis#enumerated_number_set}
  member:  lis#arithmetic_number  click here for details

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


Another search (with same display options)?