km#ontology__set_of_category_definitions/constraints
  exclusion:  base_of_facts/beliefs  KB_category  KB_statement
  supertype:  KM_structure
  subtype:  lexical_ontology  language_ontology  domain_ontology  top_level_ontology  concept_ontology  relation_ontology  multi_source_ontology  CG_ontology
  part of:  KB
  part:  KB_category  if a category has an identifier, this identifier is a "formal term"
  part:  category_definition

No statement uses or specializes ontology; click here to add one.