km#structure-only_based_inference
  exclusion:  rule_based_inference
  supertype:  knowledge_inference/reasoning/generation__knowledgeinference/reasoning/generation
  subtype:  structure_only_based_search
     subtype:  specialization_structural_search
     subtype:  generalization_structural_search
        subtype:  generalization_structural_search_of_FOL_statements

No statement uses or specializes structure-only_based_inference; click here to add one.