is#knowledge_based_information_search__knowledgebasedinformationsearch
  exclusion:  is#informal_index_based_search
  supertype:  is#information_search__informationsearch
  subtype:  is#knowledge_based_document_search
     subtype:  km#conceptual_clustering_from_documents
        subtype:  km#conceptual_clustering_from_emails
  subtype:  km#knowledge_search_task
     subtype:  km#specialization_search__implication_search__implicationsearch
        subtype:  km#specialization_structural_search
        subtype:  km#complete_specialization_search
     subtype:  km#generalization_search
        subtype:  km#generalization_structural_search
           subtype:  km#generalization_structural_search_of_FOL_statements
        subtype:  km#complete_generalization_search
     subtype:  km#analogy_search__analogysearch
     subtype:  km#structure_only_based_search
        subtype:  km#specialization_structural_search
        subtype:  km#generalization_structural_search
     subtype:  km#complete_knowledge_search
     subtype:  km#incomplete_knowledge_search
     subtype:  km#consistent_knowledge_search
     subtype:  km#inconsistent_knowledge_search

2 statements are about indirect instances of is#knowledge_based_information_search: km#graph18_on_article, km#graph21_on_article
  click here to display them or click here for a search form or here to add a statement