Hierarchy For Package com.cyc.cycjava.cycl.inference.modules.removal

Package Hierarchies:

All Packages

Class Hierarchy

• java.lang.Object
  • com.cyc.tool.subl.jrtl.nativeCode.type.operator.FixedArityFunctor (implements com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols)
    • com.cyc.tool.subl.jrtl.nativeCode.subLisp.BinaryFunction (implements com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols)
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_abduction.$removal_abduction_allowedP$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_asserted_formula.$removal_asserted_sentence_lookup_pos_cost$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_backchain_required.$inference_backchain_required_asent_in_relevant_mtP$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_different.$removal_different_duplicate_exclusive$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_evaluation.$removal_eval_exclusive$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_evaluation.$removal_eval_required$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_function_corresponding_predicate.$removal_fcp_find_nat_required$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_genlpreds_lookup.$removal_genlinverse_lookup_pos_cost$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_genlpreds_lookup.$removal_genlpreds_lookup_pos_cost$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_genlpreds_lookup.$removal_genlpreds_pred_index_pos_cost$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_genlpreds.$removal_genlpreds_check_expand$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_genls.$removal_superset_expand$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_isa.$removal_all_instances_cost$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_isa.$removal_elementof_check_expand$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_isa.$removal_isa_collection_check_pos_cost$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_isa.$removal_quoted_isa_collection_check_pos_cost$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_isa.$removal_quoted_isa_collection_check_pos_expand$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_isa.$removal_quoted_isa_defn_pos_required$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_lookup.$asent_has_indexed_term_arg_p$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_lookup.$removal_lookup_pos_cost$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_reflexivity.$removal_reflexive_one_arg_expand$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_all_exists.$removal_relation_all_exists_unify_required$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_all_exists.$removal_relation_exists_all_unify_required$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_all_instance.$removal_relation_all_instance_iterate_required$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_all_instance.$removal_relation_all_instance_unify_required$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_all_instance.$removal_relation_instance_all_iterate_required$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_all_instance.$removal_relation_instance_all_unify_required$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_instance_exists.$removal_relation_exists_instance_unbound_arg1_required$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_instance_exists.$removal_relation_exists_instance_unbound_arg2_required$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_instance_exists.$removal_relation_exists_instance_unify_arg1_required$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_instance_exists.$removal_relation_exists_instance_unify_arg2_required$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_instance_exists.$removal_relation_instance_exists_unbound_arg1_required$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_instance_exists.$removal_relation_instance_exists_unbound_arg2_required$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_instance_exists.$removal_relation_instance_exists_unify_arg1_required$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_instance_exists.$removal_relation_instance_exists_unify_arg2_required$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_symmetry.$removal_symmetric_lookup_pos_cost$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_transitivity.$removal_transitive_arg1_walk_cost$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_transitivity.$removal_transitive_arg1_walk_iterator$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_tva_lookup.$removal_tva_unify_closure_required$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_tva_lookup.$removal_tva_unify_cost$BinaryFunction
    • com.cyc.tool.subl.jrtl.nativeCode.subLisp.UnaryFunction (implements com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols)
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_abduction.$removal_abduction_allowedP$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_asserted_formula.$removal_asserted_sentence_lookup_iterator$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_asserted_formula.$removal_asserted_sentence_lookup_pos_cost$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_backchain_required.$current_problem_store_transformation_allowedP$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_backchain_required.$inference_backchain_required_asent_in_relevant_mtP$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_conjunctive_pruning.$prune_unknown_sentence_literal_inconsistency_applicability$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_conjunctive_pruning.$residual_transformation_non_wff_applicability$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_conjunctive_pruning.$thing_tupleP$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_different.$removal_different_duplicate_exclusive$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_evaluation.$removal_eval_exclusive$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_evaluation.$removal_eval_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_function_corresponding_predicate.$removal_fcp_find_nat_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_genlpreds_lookup.$removal_genlinverse_lookup_pos_cost$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_genlpreds_lookup.$removal_genlinverse_lookup_pos_iterator$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_genlpreds_lookup.$removal_genlpreds_lookup_pos_cost$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_genlpreds_lookup.$removal_genlpreds_lookup_pos_iterator$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_genlpreds_lookup.$removal_genlpreds_pred_index_pos_cost$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_genlpreds.$removal_genlpreds_check_expand$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_genls.$removal_genls_between_applicability$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_genls.$removal_superset_expand$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_indexical_referent.$indexical_referent_term_p$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_indexical_referent.$temporal_indexical_expand$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_isa.$removal_all_instances_completeness$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_isa.$removal_all_instances_cost$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_isa.$removal_all_isa_of_type_applicability$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_isa.$removal_elementof_check_expand$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_isa.$removal_isa_collection_check_pos_cost$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_isa.$removal_quoted_isa_collection_check_pos_cost$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_isa.$removal_quoted_isa_collection_check_pos_expand$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_isa.$removal_quoted_isa_defn_pos_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_lookup.$asent_has_indexed_term_arg_p$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_lookup.$removal_completely_asserted_asentP$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_lookup.$removal_lookup_pos_cost$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_lookup.$removal_lookup_pos_iterator$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_reflexive_on.$reflexive_on_predicateP$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_reflexivity.$removal_reflexive_one_arg_expand$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_all_exists.$removal_relation_all_exists_unify_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_all_exists.$removal_relation_exists_all_unify_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_all_instance.$removal_relation_all_instance_iterate_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_all_instance.$removal_relation_all_instance_unify_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_all_instance.$removal_relation_instance_all_iterate_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_all_instance.$removal_relation_instance_all_unify_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_instance_exists.$removal_relation_exists_instance_unbound_arg1_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_instance_exists.$removal_relation_exists_instance_unbound_arg2_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_instance_exists.$removal_relation_exists_instance_unify_arg1_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_instance_exists.$removal_relation_exists_instance_unify_arg2_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_instance_exists.$removal_relation_instance_exists_expansion_applicability$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_instance_exists.$removal_relation_instance_exists_unbound_arg1_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_instance_exists.$removal_relation_instance_exists_unbound_arg2_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_instance_exists.$removal_relation_instance_exists_unify_arg1_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_instance_exists.$removal_relation_instance_exists_unify_arg2_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_symmetry.$removal_symmetric_lookup_pos_cost$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_symmetry.$removal_symmetric_lookup_pos_iterator$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_symmetry.$removal_symmetric_supports$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_termofunit.$removal_term_of_unit_unify_impossibleP$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_transitivity.$gt_required_arg_type_p$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_transitivity.$removal_transitive_arg1_walk_cost$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_tva_lookup.$removal_tva_unify_closure_conjunction_applicability$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_tva_lookup.$removal_tva_unify_closure_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_tva_lookup.$removal_tva_unify_cost$UnaryFunction
    • com.cyc.tool.subl.jrtl.nativeCode.subLisp.ZeroArityFunction (implements com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols)
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_backchain_required.$current_problem_store_transformation_allowedP$ZeroArityFunction
  • com.cyc.tool.subl.util.SubLTrampolineFile (implements com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols, com.cyc.tool.subl.util.SubLFile)
    • com.cyc.tool.subl.util.SubLTranslatedFile (implements com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols, com.cyc.tool.subl.util.SubLFile)
      • com.cyc.cycjava.cycl.inference.modules.removal.meta_removal_modules
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_abduction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_asserted_formula
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_backchain_required
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_conjunctive_pruning
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_different
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_evaluation
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_function_corresponding_predicate
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_genlpreds
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_genlpreds_lookup
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_genls
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_indexical_referent
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_isa
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_lookup
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_natfunction
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_reflexive_on
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_reflexivity
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_all
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_all_exists
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_all_instance
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_relation_instance_exists
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_symmetry
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_termofunit
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_transitivity
      • com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_tva_lookup