km#KB_category  if a category has an identifier, this identifier is a "formal term"
  exclusion:  km#base_of_facts/beliefs  km#ontology  km#KB_statement
  supertype:  km#KM_structure
  subtype: {km#individual km#type}
  part of:  km#ontology__set_of_category_definitions/constraints
     part of:  km#KB__knowledge_base__knowledgebase
        part of:  km#KBMS
           part of:  km#knowledge_base_system__KBS

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