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