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

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