km#knowledge_inference/reasoning/generation__knowledgeinference/reasoning/generation
  supertype:  km#KM_task  a K.M. (sub)task
  part:  km#knowledge_comparison
  part of:  km#knowledge_validation  km#knowledge_modelling/classification/extraction  km#knowledge_search_task
  subtype:  km#generalizing__generalization__generalising__generalisation
     subtype:  km#deduction
     subtype:  km#abduction
     subtype:  km#induction
  subtype:  km#specializing__specialization__specialising__specialisation
  subtype:  km#analogy_making__analogymaking
     subtype:  km#case_base_reasoning__CBR
  subtype:  km#monotonic_reasoning__monotonicreasoning
  subtype:  km#non_monotonic_reasoning__nonmonotonicreasoning
     subtype:  km#belief_revision__beliefrevision
        subtype:  km#permissive_belief_revision
  subtype:  km#consistent_inference
     subtype:  km#consistent_knowledge_search
  subtype:  km#inconsistent_inference
     subtype:  km#inconsistent_knowledge_search
  subtype:  km#complete_inference
     subtype:  km#complete_knowledge_search
  subtype:  km#incomplete_inference
     subtype:  km#incomplete_knowledge_search
  subtype:  km#structure-only_based_inference
     subtype:  km#structure_only_based_search
        subtype:  km#specialization_structural_search
        subtype:  km#generalization_structural_search
           subtype:  km#generalization_structural_search_of_FOL_statements
  subtype:  km#rule_based_inference

1 statement is about an indirect instance of km#knowledge_inference/reasoning/generation (km#permissive_belief_revision): km#graph6_on_article
  click here to display them or click here for a search form or here to add a statement