pm#ontology  a set of categories, and definitions or axioms about these categories
  supertype:  structured_ADT__structured_abstract_data_type
  subtype:  Dolce_version  a version of the Dolce ontology
  equal:  ontology (pm)
  part:  category_identifier__formal_term
  part:  category_definition

1 schema is about ontology
[graph1_on_ontology
     [any ontology (^$(no inheritance)$^),
          may have for member: several category_identifier,
          may have for member: several category_definition,
          result of: a creation,
          may have for creator: a person,
          may have for url: a URL]
];

No  statement uses a specialization of ontology; click here to add a statement.