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

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