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

Class Summary

meta_removal_modules
removal_modules_abduction
removal_modules_abduction.$removal_abduction_allowedP$BinaryFunction
removal_modules_abduction.$removal_abduction_allowedP$UnaryFunction
removal_modules_asserted_formula
removal_modules_asserted_formula.$removal_asserted_sentence_lookup_iterator$UnaryFunction
removal_modules_asserted_formula.$removal_asserted_sentence_lookup_pos_cost$BinaryFunction
removal_modules_asserted_formula.$removal_asserted_sentence_lookup_pos_cost$UnaryFunction
removal_modules_backchain_required
removal_modules_backchain_required.$current_problem_store_transformation_allowedP$UnaryFunction
removal_modules_backchain_required.$current_problem_store_transformation_allowedP$ZeroArityFunction
removal_modules_backchain_required.$inference_backchain_required_asent_in_relevant_mtP$BinaryFunction
removal_modules_backchain_required.$inference_backchain_required_asent_in_relevant_mtP$UnaryFunction
removal_modules_conjunctive_pruning
removal_modules_conjunctive_pruning.$prune_unknown_sentence_literal_inconsistency_applicability$UnaryFunction
removal_modules_conjunctive_pruning.$residual_transformation_non_wff_applicability$UnaryFunction
removal_modules_conjunctive_pruning.$thing_tupleP$UnaryFunction
removal_modules_different
removal_modules_different.$removal_different_duplicate_exclusive$BinaryFunction
removal_modules_different.$removal_different_duplicate_exclusive$UnaryFunction
removal_modules_evaluation
removal_modules_evaluation.$removal_eval_exclusive$BinaryFunction
removal_modules_evaluation.$removal_eval_exclusive$UnaryFunction
removal_modules_evaluation.$removal_eval_required$BinaryFunction
removal_modules_evaluation.$removal_eval_required$UnaryFunction
removal_modules_function_corresponding_predicate
removal_modules_function_corresponding_predicate.$removal_fcp_find_nat_required$BinaryFunction
removal_modules_function_corresponding_predicate.$removal_fcp_find_nat_required$UnaryFunction
removal_modules_genlpreds
removal_modules_genlpreds_lookup
removal_modules_genlpreds_lookup.$removal_genlinverse_lookup_pos_cost$BinaryFunction
removal_modules_genlpreds_lookup.$removal_genlinverse_lookup_pos_cost$UnaryFunction
removal_modules_genlpreds_lookup.$removal_genlinverse_lookup_pos_iterator$UnaryFunction
removal_modules_genlpreds_lookup.$removal_genlpreds_lookup_pos_cost$BinaryFunction
removal_modules_genlpreds_lookup.$removal_genlpreds_lookup_pos_cost$UnaryFunction
removal_modules_genlpreds_lookup.$removal_genlpreds_lookup_pos_iterator$UnaryFunction
removal_modules_genlpreds_lookup.$removal_genlpreds_pred_index_pos_cost$BinaryFunction
removal_modules_genlpreds_lookup.$removal_genlpreds_pred_index_pos_cost$UnaryFunction
removal_modules_genlpreds.$removal_genlpreds_check_expand$BinaryFunction
removal_modules_genlpreds.$removal_genlpreds_check_expand$UnaryFunction
removal_modules_genls
removal_modules_genls.$removal_genls_between_applicability$UnaryFunction
removal_modules_genls.$removal_superset_expand$BinaryFunction
removal_modules_genls.$removal_superset_expand$UnaryFunction
removal_modules_indexical_referent
removal_modules_indexical_referent.$indexical_referent_term_p$UnaryFunction
removal_modules_indexical_referent.$temporal_indexical_expand$UnaryFunction
removal_modules_isa
removal_modules_isa.$removal_all_instances_completeness$UnaryFunction
removal_modules_isa.$removal_all_instances_cost$BinaryFunction
removal_modules_isa.$removal_all_instances_cost$UnaryFunction
removal_modules_isa.$removal_all_isa_of_type_applicability$UnaryFunction
removal_modules_isa.$removal_elementof_check_expand$BinaryFunction
removal_modules_isa.$removal_elementof_check_expand$UnaryFunction
removal_modules_isa.$removal_isa_collection_check_pos_cost$BinaryFunction
removal_modules_isa.$removal_isa_collection_check_pos_cost$UnaryFunction
removal_modules_isa.$removal_quoted_isa_collection_check_pos_cost$BinaryFunction
removal_modules_isa.$removal_quoted_isa_collection_check_pos_cost$UnaryFunction
removal_modules_isa.$removal_quoted_isa_collection_check_pos_expand$BinaryFunction
removal_modules_isa.$removal_quoted_isa_collection_check_pos_expand$UnaryFunction
removal_modules_isa.$removal_quoted_isa_defn_pos_required$BinaryFunction
removal_modules_isa.$removal_quoted_isa_defn_pos_required$UnaryFunction
removal_modules_lookup
removal_modules_lookup.$asent_has_indexed_term_arg_p$BinaryFunction
removal_modules_lookup.$asent_has_indexed_term_arg_p$UnaryFunction
removal_modules_lookup.$removal_completely_asserted_asentP$UnaryFunction
removal_modules_lookup.$removal_lookup_pos_cost$BinaryFunction
removal_modules_lookup.$removal_lookup_pos_cost$UnaryFunction
removal_modules_lookup.$removal_lookup_pos_iterator$UnaryFunction
removal_modules_natfunction
removal_modules_reflexive_on
removal_modules_reflexive_on.$reflexive_on_predicateP$UnaryFunction
removal_modules_reflexivity
removal_modules_reflexivity.$removal_reflexive_one_arg_expand$BinaryFunction
removal_modules_reflexivity.$removal_reflexive_one_arg_expand$UnaryFunction
removal_modules_relation_all
removal_modules_relation_all_exists
removal_modules_relation_all_exists.$removal_relation_all_exists_unify_required$BinaryFunction
removal_modules_relation_all_exists.$removal_relation_all_exists_unify_required$UnaryFunction
removal_modules_relation_all_exists.$removal_relation_exists_all_unify_required$BinaryFunction
removal_modules_relation_all_exists.$removal_relation_exists_all_unify_required$UnaryFunction
removal_modules_relation_all_instance
removal_modules_relation_all_instance.$removal_relation_all_instance_iterate_required$BinaryFunction
removal_modules_relation_all_instance.$removal_relation_all_instance_iterate_required$UnaryFunction
removal_modules_relation_all_instance.$removal_relation_all_instance_unify_required$BinaryFunction
removal_modules_relation_all_instance.$removal_relation_all_instance_unify_required$UnaryFunction
removal_modules_relation_all_instance.$removal_relation_instance_all_iterate_required$BinaryFunction
removal_modules_relation_all_instance.$removal_relation_instance_all_iterate_required$UnaryFunction
removal_modules_relation_all_instance.$removal_relation_instance_all_unify_required$BinaryFunction
removal_modules_relation_all_instance.$removal_relation_instance_all_unify_required$UnaryFunction
removal_modules_relation_instance_exists
removal_modules_relation_instance_exists.$removal_relation_exists_instance_unbound_arg1_required$BinaryFunction
removal_modules_relation_instance_exists.$removal_relation_exists_instance_unbound_arg1_required$UnaryFunction
removal_modules_relation_instance_exists.$removal_relation_exists_instance_unbound_arg2_required$BinaryFunction
removal_modules_relation_instance_exists.$removal_relation_exists_instance_unbound_arg2_required$UnaryFunction
removal_modules_relation_instance_exists.$removal_relation_exists_instance_unify_arg1_required$BinaryFunction
removal_modules_relation_instance_exists.$removal_relation_exists_instance_unify_arg1_required$UnaryFunction
removal_modules_relation_instance_exists.$removal_relation_exists_instance_unify_arg2_required$BinaryFunction
removal_modules_relation_instance_exists.$removal_relation_exists_instance_unify_arg2_required$UnaryFunction
removal_modules_relation_instance_exists.$removal_relation_instance_exists_expansion_applicability$UnaryFunction
removal_modules_relation_instance_exists.$removal_relation_instance_exists_unbound_arg1_required$BinaryFunction
removal_modules_relation_instance_exists.$removal_relation_instance_exists_unbound_arg1_required$UnaryFunction
removal_modules_relation_instance_exists.$removal_relation_instance_exists_unbound_arg2_required$BinaryFunction
removal_modules_relation_instance_exists.$removal_relation_instance_exists_unbound_arg2_required$UnaryFunction
removal_modules_relation_instance_exists.$removal_relation_instance_exists_unify_arg1_required$BinaryFunction
removal_modules_relation_instance_exists.$removal_relation_instance_exists_unify_arg1_required$UnaryFunction
removal_modules_relation_instance_exists.$removal_relation_instance_exists_unify_arg2_required$BinaryFunction
removal_modules_relation_instance_exists.$removal_relation_instance_exists_unify_arg2_required$UnaryFunction
removal_modules_symmetry
removal_modules_symmetry.$removal_symmetric_lookup_pos_cost$BinaryFunction
removal_modules_symmetry.$removal_symmetric_lookup_pos_cost$UnaryFunction
removal_modules_symmetry.$removal_symmetric_lookup_pos_iterator$UnaryFunction
removal_modules_symmetry.$removal_symmetric_supports$UnaryFunction
removal_modules_termofunit
removal_modules_termofunit.$removal_term_of_unit_unify_impossibleP$UnaryFunction
removal_modules_transitivity
removal_modules_transitivity.$gt_required_arg_type_p$UnaryFunction
removal_modules_transitivity.$removal_transitive_arg1_walk_cost$BinaryFunction
removal_modules_transitivity.$removal_transitive_arg1_walk_cost$UnaryFunction
removal_modules_transitivity.$removal_transitive_arg1_walk_iterator$BinaryFunction
removal_modules_tva_lookup
removal_modules_tva_lookup.$removal_tva_unify_closure_conjunction_applicability$UnaryFunction
removal_modules_tva_lookup.$removal_tva_unify_closure_required$BinaryFunction
removal_modules_tva_lookup.$removal_tva_unify_closure_required$UnaryFunction
removal_modules_tva_lookup.$removal_tva_unify_cost$BinaryFunction
removal_modules_tva_lookup.$removal_tva_unify_cost$UnaryFunction