km#KBMS
  supertype:  km#knowledge_base_system__KBS
  subtype: {km#graph_based_KBMS km#SNEPSwD}  km#CG_based_KBMS
  part of:  km#knowledge_base_system
  part:  km#KB__knowledge_base__knowledgebase
     part:  km#ontology__set_of_category_definitions/constraints
        part:  km#KB_category  if a category has an identifier, this identifier is a "formal term"
        part:  km#category_definition
     part:  km#base_of_facts/beliefs
  part:  km#inference_engine__inferenceengine

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