dl#entity  a category from DOLCE or generalized by a category from DOLCE
  subtype:  dl#atom  dl#abstract_or_perdurant  dl#quality_or_endurant_or_perdurant
  dl#generic_location<=  dl#region
  equal:  dl#particular
  dl#conceptual_relation=>  dl#entity
  dl#has_quality=>  dl#quality
  dl#generic_location=>  dl#entity
  related_to:  dolce#entity (dl)  dolce#particular (dl)
  dl#atomic_part<=  dl#atom
  dl#temporary_atomic_part<=  dl#temporary_atom
  dl#host of=>  dl#feature
  dl#inherent_in of<=  dl#quality [1..*,*]
  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

2 statements are about indirect instances of dl#entity: u#graph1_on_alteration, u#graph2_on_alteration click here to display them or click here for a search form or here to add a statement


Simple category search: