is#instance_of_first_order_class
  supertype:  dolce#particular  a 0-order type
     supertype:  pm#individual__particular___supertype_of_1st_order_types  all individuals (for concepts or relations) are implicitely or explicitely instance of that type
        supertype:  pm#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

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