km#KBMS
  supertype:  knowledge_base_system__KBS
  subtype: {graph_based_KBMS SNEPSwD}  CG_based_KBMS
  part of:  knowledge_base_system
  part:  KB__knowledge_base__knowledgebase
     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
  part:  inference_engine__inferenceengine

4 statements are about indirect instances of KBMS: graph1_on_WebKB-2, graph6_on_article, graph10_on_article, graph7_on_spamOnly@phmartin.info
  click here to display them or click here for a search form or here to add a statement