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
  part of:  ontology [49..*,*]
  subtype:  individual  if an individual has an identifier, this identifier may be named a "constant"
     subtype:  context
        subtype:  module/namespace
  subtype:  type
     subtype:  concept_type__concepttype
     subtype:  relation_type
        subtype:  lexical_link__lexicallink
        subtype:  link_to_document_element
        subtype:  link_to_creator

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