higgins#PositiveInteger
  supertype:  SimpleValue
     supertype:  Value
        supertype:  Higgins_DigitalSubject_or_Value
           supertype:  Higgins_object
              supertype:  particular  a 0-order type
                 supertype:  individual__particular___supertype_of_1st_order_types  all individuals (for concepts or relations) are implicitely or explicitely instance of that type
                    supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
        supertype:  Higgins_Attribute_or_Value
           supertype:  Higgins_object

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