subtype: Lingo#object (Lingo)
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.