km#knowledge_base_system__KBS
  supertype:  km#KM_tool__knowledge_management_tool
  subtype:  km#KBMS
  part:  km#KBMS
     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#knowledge_base_system: 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