km#non_monotonic_reasoning__nonmonotonicreasoning
  exclusion:  km#monotonic_reasoning
  supertype:  km#knowledge_inference/reasoning/generation__knowledgeinference/reasoning/generation
  subtype:  km#belief_revision__beliefrevision
     subtype:  km#permissive_belief_revision

1 statement is about an indirect instance of km#non_monotonic_reasoning (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