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

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

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