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

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