km#KB__knowledge_base__knowledgebase
  supertype:  KM_structure
  object of:  KM_task
  part of:  KBMS
  part:  ontology__set_of_category_definitions/constraints
     part:  KB_category  if a category has an identifier, this identifier is a "formal term"
     part:  category_definition
  part:  base_of_facts/beliefs

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