Package com.cyc.cycjava.cycl

Class Summary

access_macros
accumulation
accumulation.$accumulator_native
accumulation.$accumulator_p$UnaryFunction
agenda
agenda.$agenda_daily_gc_ready_p$ZeroArityFunction
agenda.$agenda_save_asked_queriesP$ZeroArityFunction
agenda.$agenda_should_quitP$ZeroArityFunction
agenda.$agenda_work_to_do$ZeroArityFunction
agenda.$load_operationsP$ZeroArityFunction
agenda.$normal_transmit_operationsP$ZeroArityFunction
agenda.$restart_agenda_flagP$ZeroArityFunction
agenda.$run_auxiliary_opP$ZeroArityFunction
agenda.$run_local_opP$ZeroArityFunction
agenda.$run_remote_opP$ZeroArityFunction
agenda.$save_experienceP$ZeroArityFunction
agenda.$save_operationsP$ZeroArityFunction
agenda.$worry_transmit_operationsP$ZeroArityFunction
api_control_vars
api_kernel
arg_type
arg_type.$arg_constraint_native
arg_type.$arg_constraint_p$UnaryFunction
arg_type.$clear_cached_relation_arg_okP$ZeroArityFunction
arg_type.$variable_term_wrt_arg_typeP$UnaryFunction
arguments
arguments.$argument_type_proper_genls$UnaryFunction
arguments.$asserted_argument_p$UnaryFunction
arguments.$justification_equal$BinaryFunction
arguments.$support_equal$BinaryFunction
arguments.$support_L$BinaryFunction
arguments.$support_mt$UnaryFunction
arguments.$support_p$UnaryFunction
arity
arity.$arity$UnaryFunction
assertion_handles
assertion_handles.$assertion_native
assertion_handles.$assertion_p$UnaryFunction
assertion_handles.$find_assertion_by_id$UnaryFunction
assertion_handles.$sxhash_assertion_method$UnaryFunction
assertion_manager
assertion_utilities
assertions_high
assertions_high.$assertion_formula$UnaryFunction
assertions_high.$assertion_mt$UnaryFunction
assertions_high.$gaf_formula$UnaryFunction
assertions_high.$invalid_assertionP$BinaryFunction
assertions_high.$invalid_assertionP$UnaryFunction
assertions_high.$valid_assertion$BinaryFunction
assertions_high.$valid_assertion$UnaryFunction
assertions_interface
assertions_low
assertions_low.$assertion_content_native
assertions_low.$assertion_content_p$UnaryFunction
at_admitted
at_admitted.$generic_arg_p$UnaryFunction
at_cache
at_defns
at_macros
at_routines
at_routines.$clear_arg_collections$ZeroArityFunction
at_utilities
at_var_types
at_var_types.$clear_at_argn_int_cached$ZeroArityFunction
at_var_types.$contextualized_isa_x_y_litP$UnaryFunction
at_vars
auxiliary_indexing
backward
backward_results
backward_utilities
bag
bag.$bag_native
bag.$bag_p$UnaryFunction
bijection
bijection.$bijection_native
bijection.$bijection_p$UnaryFunction
binary_tree
binary_tree.$avl_tree_native
binary_tree.$avl_tree_node_native
binary_tree.$avl_tree_node_p$UnaryFunction
binary_tree.$avl_tree_p$UnaryFunction
binary_tree.$btree_native
binary_tree.$btree_p$UnaryFunction
binary_tree.$cfasl_input_avl_tree_node$UnaryFunction
bindings
bindings.$binding_p$UnaryFunction
bindings.$inference_binding_p$UnaryFunction
bindings.$subst_bindings$BinaryFunction
bindings.$variable_binding_value$UnaryFunction
bindings.$variable_binding_variable$UnaryFunction
bookkeeping_store
builder_utilities
c_backend
c_name_translation
cache
cache_utilities
cache_utilities.$cache_metrics_native
cache_utilities.$cache_metrics_p$UnaryFunction
cache_utilities.$metered_cache_native
cache_utilities.$metered_cache_p$UnaryFunction
cache_utilities.$recording_cache_strategy_facade_native
cache_utilities.$recording_cache_strategy_facade_p$UnaryFunction
cache.$cache_entry_native
cache.$cache_entry_p$UnaryFunction
cache.$cache_native
cache.$cache_p$UnaryFunction
canon_tl
canon_tl.$tl_termP$UnaryFunction
cardinality_estimates
cardinality_estimates.$generality_estimate$UnaryFunction
cfasl
cfasl_compression
cfasl_kb_methods
cfasl_kb_methods.$cfasl_input_assertion$UnaryFunction
cfasl_kb_methods.$cfasl_input_clause_struc$UnaryFunction
cfasl_kb_methods.$cfasl_input_constant$UnaryFunction
cfasl_kb_methods.$cfasl_input_deduction$UnaryFunction
cfasl_kb_methods.$cfasl_input_hl_end$UnaryFunction
cfasl_kb_methods.$cfasl_input_hl_start$UnaryFunction
cfasl_kb_methods.$cfasl_input_kb_hl_support$UnaryFunction
cfasl_kb_methods.$cfasl_input_nart$UnaryFunction
cfasl_kb_methods.$cfasl_input_sbhl_directed_link$UnaryFunction
cfasl_kb_methods.$cfasl_input_sbhl_undirected_link$UnaryFunction
cfasl_kb_methods.$cfasl_input_variable$UnaryFunction
cfasl_kernel
cfasl_utilities
cfasl.$cfasl_count_stream_native
cfasl.$cfasl_count_stream_p$UnaryFunction
cfasl.$cfasl_decoding_stream_native
cfasl.$cfasl_decoding_stream_p$UnaryFunction
cfasl.$cfasl_encoding_stream_native
cfasl.$cfasl_encoding_stream_p$UnaryFunction
cfasl.$cfasl_input_character$UnaryFunction
cfasl.$cfasl_input_common_symbol$UnaryFunction
cfasl.$cfasl_input_dotted_list$UnaryFunction
cfasl.$cfasl_input_general_vector$UnaryFunction
cfasl.$cfasl_input_guid$UnaryFunction
cfasl.$cfasl_input_keyword$UnaryFunction
cfasl.$cfasl_input_list$UnaryFunction
cfasl.$cfasl_input_n_24bit_int$UnaryFunction
cfasl.$cfasl_input_n_8bit_int$UnaryFunction
cfasl.$cfasl_input_n_float$UnaryFunction
cfasl.$cfasl_input_nil$UnaryFunction
cfasl.$cfasl_input_other_symbol$UnaryFunction
cfasl.$cfasl_input_p_16bit_int$UnaryFunction
cfasl.$cfasl_input_p_24bit_int$UnaryFunction
cfasl.$cfasl_input_p_32bit_int$UnaryFunction
cfasl.$cfasl_input_p_bignum$UnaryFunction
cfasl.$cfasl_input_p_float$UnaryFunction
cfasl.$cfasl_input_string$UnaryFunction
clause_strucs
clause_strucs.$clause_struc_native
clause_strucs.$clause_struc_p$UnaryFunction
clause_utilities
clauses
clausifier
clausifier.$conjunctions_in$UnaryFunction
clausifier.$do_implications$UnaryFunction
clausifier.$do_negations_destructive$UnaryFunction
clausifier.$recursively_standardize_variables$UnaryFunction
clausifier.$universals_out$UnaryFunction
collection_defns
collection_defns.$clear_extensional_setP$ZeroArityFunction
collection_defns.$cyc_1_byte_integer$UnaryFunction
collection_defns.$cyc_2_byte_integer$UnaryFunction
collection_defns.$cyc_4_byte_integer$UnaryFunction
collection_defns.$cyc_8_byte_integer$UnaryFunction
collection_defns.$cyc_ascii_string_p$UnaryFunction
collection_defns.$cyc_bit_datatype$UnaryFunction
collection_defns.$cyc_guid_string_p$UnaryFunction
collection_defns.$cyc_individual_necessary$UnaryFunction
collection_defns.$cyc_ip4_address$UnaryFunction
collection_defns.$cyc_ip4_network_address$UnaryFunction
collection_defns.$cyc_list_is_minimum_length$UnaryFunction
collection_defns.$cyc_list_of_lists$UnaryFunction
collection_defns.$cyc_list_of_type_necessary$UnaryFunction
collection_defns.$cyc_list_of_type_sufficient$UnaryFunction
collection_defns.$cyc_numeric_string_necessary$UnaryFunction
collection_defns.$cyc_string_is_length$UnaryFunction
collection_defns.$cyc_string_is_maximum_length$UnaryFunction
collection_defns.$cyc_string_is_minimum_length$UnaryFunction
collection_defns.$cyc_subl_hl_support_module_p$UnaryFunction
collection_defns.$cyc_subl_query_property_p$UnaryFunction
collection_defns.$cyc_subl_tv_p$UnaryFunction
collection_defns.$cyc_typicality_reference_set_propertyP$UnaryFunction
collection_defns.$cyc_zip_code_five_digit$UnaryFunction
collection_defns.$cyc_zip_code_nine_digit$UnaryFunction
collection_defns.$cycl_canonicalizer_directiveP$UnaryFunction
collection_defns.$cycl_sentence_assertibleP$UnaryFunction
concept_filter
concept_filter.$clear_concept_filter_all_isa$ZeroArityFunction
concept_filter.$clear_nodes_suppressed_from_filter$ZeroArityFunction
constant_completion
constant_completion_high
constant_completion_high.$invalid_constant_name_char_p$UnaryFunction
constant_completion_interface
constant_completion_low
constant_handles
constant_handles.$constant_native
constant_handles.$constant_p$UnaryFunction
constant_handles.$constant_print_function_trampoline$BinaryFunction
constant_handles.$invalid_constantP$BinaryFunction
constant_handles.$invalid_constantP$UnaryFunction
constant_handles.$sxhash_constant_method$UnaryFunction
constant_handles.$valid_constantP$BinaryFunction
constant_handles.$valid_constantP$UnaryFunction
constant_index_manager
constant_reader
constants_high
constants_interface
constants_low
control_vars
cyc_bookkeeping
cyc_kernel
cyc_revision_extraction
cycl
cycl_grammar
cycl_grammar.$cycl_generalized_tensed_literal_p$UnaryFunction
cycl_grammar.$cycl_quoted_term_p$UnaryFunction
cycl_grammar.$cycl_variable_p$UnaryFunction
cycl_grammar.$el_variable_p$UnaryFunction
cycl_grammar.$escape_quote_syntax_p$UnaryFunction
cycl_grammar.$hl_variable_p$UnaryFunction
cycl_grammar.$quasi_quote_syntax_p$UnaryFunction
cycl_query_specification
cycl_query_specification.$cycl_query_specification_native
cycl_query_specification.$cycl_query_specification_p$UnaryFunction
cycl_utilities
cycl_utilities.$atomic_sentence_predicate$UnaryFunction
cycl_utilities.$hl_term_to_el_term$UnaryFunction
cycl_utilities.$hl_term_with_el_counterpart_p$UnaryFunction
cycl_utilities.$opaque_arg_wrt_quotingP$BinaryFunction
cycl_utilities.$renamed_default_el_var_p$UnaryFunction
cycl_variables
cycl_variables.$cyc_varP$UnaryFunction
cycl_variables.$default_el_varP$UnaryFunction
cycl_variables.$el_varP$UnaryFunction
cycl_variables.$hl_varP$UnaryFunction
cycl_variables.$invalid_variable_name_char$UnaryFunction
cycml_generator
cycml_generator.$cycml_kp_info_native
cycml_generator.$cycml_kp_info_p$UnaryFunction
czer_graph
czer_graph.$arc_native
czer_graph.$arc_p$UnaryFunction
czer_graph.$graph_search_node_native
czer_graph.$graph_search_node_p$UnaryFunction
czer_graph.$v_colour_native
czer_graph.$v_colour_p$UnaryFunction
czer_graph.$vertex_native
czer_graph.$vertex_p$UnaryFunction
czer_main
czer_main.$canonicalize_clause_commutative_terms_destructive$UnaryFunction
czer_main.$canonicalize_clause_quoted_terms$UnaryFunction
czer_main.$canonicalize_clause_sentence_terms$UnaryFunction
czer_main.$canonicalize_clause_tou_terms$UnaryFunction
czer_main.$canonicalize_literal_commutative_terms_destructive$UnaryFunction
czer_main.$canonicalize_literal_sentence_terms$BinaryFunction
czer_main.$canonicalize_literal_sentence_terms$UnaryFunction
czer_main.$commutative_terms_in_orderP$BinaryFunction
czer_main.$initialize_suffix_table_for_var$UnaryFunction
czer_main.$lit_L$BinaryFunction
czer_main.$literal_quantified_fn_terms$UnaryFunction
czer_main.$literal_terms_to_reify$BinaryFunction
czer_main.$literal_terms_to_reify$UnaryFunction
czer_main.$rename_clause_vars_int$BinaryFunction
czer_main.$rename_clause_vars_int$UnaryFunction
czer_main.$sort_clause_literals$BinaryFunction
czer_main.$sort_clause_literals$UnaryFunction
czer_meta
czer_meta.$clear_meta_relation_somewhereP$ZeroArityFunction
czer_meta.$clear_possibly_meta_relation_somewhereP_cached$ZeroArityFunction
czer_meta.$el_meta_formulaP$BinaryFunction
czer_meta.$el_meta_formulaP$UnaryFunction
czer_meta.$ground_el_meta_formulaP$BinaryFunction
czer_meta.$ground_el_meta_formulaP$UnaryFunction
czer_trampolines
czer_utilities
czer_utilities.$canon_varP$UnaryFunction
czer_utilities.$generalized_ist_clause_p$UnaryFunction
czer_utilities.$quoted_term_with_hl_varP$UnaryFunction
czer_vars
deck
deck.$deck_native
deck.$deck_p$UnaryFunction
deduction_handles
deduction_handles.$deduction_native
deduction_handles.$deduction_p$UnaryFunction
deduction_handles.$sxhash_deduction_method$UnaryFunction
deduction_manager
deductions_high
deductions_interface
deductions_low
deductions_low.$deduction_content_native
deductions_low.$deduction_content_p$UnaryFunction
defns
defns.$admitting_defn_assertions$UnaryFunction
defns.$col_defn_admitsP$UnaryFunction
dictionary
dictionary_contents
dictionary_utilities
dictionary_utilities.$synchronized_dictionary_native
dictionary_utilities.$synchronized_dictionary_p$UnaryFunction
dictionary.$cfasl_input_dictionary$UnaryFunction
dictionary.$dictionary_native
dictionary.$dictionary_p$UnaryFunction
disjoint_with
dumper
dumper.$load_assertion_def_from_cache$BinaryFunction
dumper.$load_deduction_def_from_cache$BinaryFunction
dumper.$load_nart_hl_formula_from_cache$BinaryFunction
el_grammar
el_utilities
el_utilities.$cyc_const_general_existential_operator_p$UnaryFunction
el_utilities.$el_conjunction_p$UnaryFunction
el_utilities.$el_disjunction_p$UnaryFunction
el_utilities.$el_formula_p$UnaryFunction
el_utilities.$el_implicit_meta_literal_sentence_p$UnaryFunction
el_utilities.$el_meets_pragmatic_requirement_p$UnaryFunction
el_utilities.$el_negation_p$UnaryFunction
el_utilities.$expand_subl_fn_p$UnaryFunction
el_utilities.$formula_with_sequence_termP$UnaryFunction
el_utilities.$forward_non_trigger_literal_litP$UnaryFunction
el_utilities.$gafP$UnaryFunction
el_utilities.$kappa_predicate_p$UnaryFunction
el_utilities.$scoping_relation_expressionP$UnaryFunction
encapsulation
enumeration_types
equality_store
equals
eval_in_api
eval_in_api_registrations
evaluation_defns
evaluation_defns.$cyc_different$UnaryFunction
fi
file_backed_cache
file_backed_cache_setup
file_backed_cache_setup.$file_backed_cache_registration_native
file_backed_cache_setup.$file_backed_cache_registration_p$UnaryFunction
file_backed_cache.$file_backed_cache_native
file_backed_cache.$file_backed_cache_p$UnaryFunction
file_hash_table
file_hash_table.$fast_create_fht_native
file_hash_table.$fast_create_fht_p$UnaryFunction
file_hash_table.$fast_fht_keystream_sorter_native
file_hash_table.$fast_fht_keystream_sorter_p$UnaryFunction
file_hash_table.$fht_serialization_entry_native
file_hash_table.$fht_serialization_entry_p$UnaryFunction
file_hash_table.$file_hash_table_native
file_hash_table.$file_hash_table_p$UnaryFunction
file_hash_table.$htfile_file_block_entry_native
file_hash_table.$htfile_file_block_entry_p$UnaryFunction
file_hash_table.$htfile_header_native
file_hash_table.$htfile_header_p$UnaryFunction
file_hash_table.$htfile_key_entry_native
file_hash_table.$htfile_key_entry_p$UnaryFunction
file_hash_table.$htfile_object_entry_native
file_hash_table.$htfile_object_entry_p$UnaryFunction
file_translation
file_translation.$trans_subl_file_native
file_translation.$trans_subl_file_p$UnaryFunction
file_utilities
file_vector
file_vector_utilities
file_vector_utilities.$backed_map_native
file_vector_utilities.$backed_map_p$UnaryFunction
file_vector_utilities.$file_vector_reference_native
file_vector_utilities.$file_vector_reference_p$UnaryFunction
file_vector.$fvector_native
file_vector.$fvector_p$UnaryFunction
finite_state_transducer
finite_state_transducer.$finite_state_transducer_native
finite_state_transducer.$finite_state_transducer_p$UnaryFunction
folification
format_nil
formula_pattern_match
formula_pattern_match.$pattern_matches_formula_nat_method$BinaryFunction
formula_pattern_match.$pattern_matches_formula$BinaryFunction
formula_templates
formula_templates.$arg_position_details_native
formula_templates.$arg_position_details_p$UnaryFunction
formula_templates.$formula_template_native
formula_templates.$formula_template_p$UnaryFunction
formula_templates.$template_topic_native
formula_templates.$template_topic_p$UnaryFunction
fort_types_interface
fort_types_interface.$collection_p$UnaryFunction
fort_types_interface.$predicate_p$UnaryFunction
fort_types_interface.$scoping_relation_p$UnaryFunction
fort_types_interface.$sibling_disjoint_collection_p$UnaryFunction
forts
forts.$fort_id_index_native
forts.$fort_id_index_p$UnaryFunction
forts.$fort_internal_id$UnaryFunction
forts.$fort_p$UnaryFunction
forts.$invalid_fortP$UnaryFunction
fraction_utilities
fraction_utilities.$fraction_native
fraction_utilities.$fraction_p$UnaryFunction
function_terms
genl_mts
genl_predicates
genls
ghl_link_iterators
ghl_marking_utilities
ghl_search_methods
ghl_search_methods.$ghl_closure_search_iterator_done$UnaryFunction
ghl_search_methods.$ghl_closure_search_iterator_finalize$UnaryFunction
ghl_search_methods.$ghl_closure_search_iterator_next$UnaryFunction
ghl_search_utilities
ghl_search_vars
ghl_search_vars.$ghl_search_native
ghl_search_vars.$ghl_search_p$UnaryFunction
glob
glob.$glob_native
glob.$glob_p$UnaryFunction
graph_utilities
graph_utilities.$extract_link_nodes_int$UnaryFunction
graph_utilities.$length_first$UnaryFunction
graphic_library_format
graphic_library_format.$glf_arc_native
graphic_library_format.$glf_arc_p$UnaryFunction
graphic_library_format.$glf_graph_native
graphic_library_format.$glf_graph_p$UnaryFunction
graphic_library_format.$glf_node_native
graphic_library_format.$glf_node_p$UnaryFunction
graphic_library_format.$glf_rendering_native
graphic_library_format.$glf_rendering_p$UnaryFunction
graphl_graph_utilities
graphl_search_vars
graphl_search_vars.$graphl_search_native
graphl_search_vars.$graphl_search_p$UnaryFunction
gt_methods
gt_search
gt_utilities
gt_vars
guardian
guardian.$guardian_request_native
guardian.$guardian_request_p$UnaryFunction
hash_table_utilities
heap
heap.$heap_impl_native
heap.$heap_impl_p$UnaryFunction
heap.$heap_test_example_native
heap.$heap_test_example_p$UnaryFunction
hierarchical_visitor
hierarchical_visitor.$hierarchical_visitor_native
hierarchical_visitor.$hierarchical_visitor_p$UnaryFunction
hl_interface_infrastructure
hl_interface_infrastructure.$hl_store_iterator_destroy$UnaryFunction
hl_interface_infrastructure.$hl_store_iterator_doneP$UnaryFunction
hl_modifiers
hl_storage_module_declarations
hl_storage_modules
hl_supports
hl_supports.$hl_justify_eval$UnaryFunction
hl_supports.$non_hl_predicate_p$UnaryFunction
hlmt
hlmt_czer
hlmt.$closed_hlmt_p$UnaryFunction
hlmt.$hlmt_equal$BinaryFunction
hlmt.$hlmtP$UnaryFunction
hlmt.$monad_cycl_mtP$UnaryFunction
hlmt.$monad_mt_p$UnaryFunction
hlmt.$mt_union_mts_recursive_int$UnaryFunction
hlmt.$single_dimension_mt_dimension$UnaryFunction
hlmt.$temporal_dimension_mt_p$UnaryFunction
id_index
id_index.$id_index_native
id_index.$id_index_p$UnaryFunction
integer_sequence_generator
integer_sequence_generator.$integer_sequence_generator_native
integer_sequence_generator.$integer_sequence_generator_p$UnaryFunction
interval_span
interval_span.$interval_span_native
interval_span.$interval_span_p$UnaryFunction
isa
isa.$instanceof_after_adding$BinaryFunction
isa.$instanceof_after_removing$BinaryFunction
iteration
iteration.$default_iterator_done_p$UnaryFunction
iteration.$iterate_list_done$UnaryFunction
iteration.$iterate_list_next$UnaryFunction
iteration.$iterate_non_null_singleton_next$UnaryFunction
iteration.$iterate_number_done$UnaryFunction
iteration.$iterate_vector_next$UnaryFunction
iteration.$iterator_iterator_done$UnaryFunction
iteration.$iterator_iterator_next$UnaryFunction
iteration.$iterator_native
iteration.$iterator_p$UnaryFunction
iteration.$reusable_iterator_cartesian_iterator_done$UnaryFunction
iteration.$reusable_iterator_cartesian_iterator_next$UnaryFunction
iteration.$reusable_iterator_done$UnaryFunction
iteration.$reusable_iterator_next$UnaryFunction
java_api_kernel
java_name_translation
kb_access_metering
kb_accessors
kb_accessors.$clear_guess_the_cyclist_from_user_name$ZeroArityFunction
kb_accessors.$fast_non_skolem_indeterminate_termP$UnaryFunction
kb_compare
kb_compare.$kb_difference_native
kb_compare.$kb_difference_p$UnaryFunction
kb_compare.$kb_intersection_native
kb_compare.$kb_intersection_p$UnaryFunction
kb_control_vars
kb_gp_mapping
kb_hl_support_manager
kb_hl_supports
kb_hl_supports.$kb_hl_support_content_native
kb_hl_supports.$kb_hl_support_content_p$UnaryFunction
kb_hl_supports.$kb_hl_support_index_unindexed_termP$UnaryFunction
kb_hl_supports.$kb_hl_support_native
kb_hl_supports.$kb_hl_support_p$UnaryFunction
kb_hl_supports.$sxhash_kb_hl_support_method$UnaryFunction
kb_indexing
kb_indexing_datastructures
kb_indexing_datastructures.$fully_indexed_term_p$UnaryFunction
kb_indexing_datastructures.$indexed_term_p$UnaryFunction
kb_indexing_datastructures.$invalid_indexed_termP$UnaryFunction
kb_indexing_declarations
kb_indexing_macros
kb_indexing.$clear_key_gaf_arg_index_cached$ZeroArityFunction
kb_indexing.$num_index$UnaryFunction
kb_indexing.$num_predicate_extent_index$BinaryFunction
kb_indexing.$num_predicate_extent_index$UnaryFunction
kb_macros
kb_mapping
kb_mapping_macros
kb_mapping_macros.$assertion_semantically_matches_simple_final_index_specP$BinaryFunction
kb_mapping_macros.$clear_simple_term_assertion_list_filtered$ZeroArityFunction
kb_mapping_macros.$decontextualized_ist_predicate_rule_final_index_spec_iterator_doneP$UnaryFunction
kb_mapping_macros.$decontextualized_ist_predicate_rule_final_index_spec_iterator_next$UnaryFunction
kb_mapping_macros.$decontextualized_ist_predicate_rule_index_asent_match_p$BinaryFunction
kb_mapping_macros.$gaf_arg_final_index_spec_iterator_doneP$UnaryFunction
kb_mapping_macros.$gaf_arg_final_index_spec_iterator_next$UnaryFunction
kb_mapping_macros.$nart_arg_final_index_spec_iterator_doneP$UnaryFunction
kb_mapping_macros.$nart_arg_final_index_spec_iterator_next$UnaryFunction
kb_mapping_macros.$other_index_assertion_match_p$BinaryFunction
kb_mapping_macros.$pred_arg2_rule_final_index_spec_iterator_doneP$UnaryFunction
kb_mapping_macros.$pred_arg2_rule_final_index_spec_iterator_next$UnaryFunction
kb_mapping_macros.$predicate_extent_final_index_spec_iterator_doneP$UnaryFunction
kb_mapping_macros.$predicate_extent_final_index_spec_iterator_next$UnaryFunction
kb_mapping_macros.$predicate_rule_final_index_spec_iterator_doneP$UnaryFunction
kb_mapping_macros.$predicate_rule_final_index_spec_iterator_next$UnaryFunction
kb_mapping_utilities
kb_mapping.$assertion_with_search_term$UnaryFunction
kb_mapping.$gather_assertions$UnaryFunction
kb_object_manager
kb_object_manager.$kb_object_manager_native
kb_object_manager.$kb_object_manager_p$UnaryFunction
kb_paths
kb_utilities
kb_utilities.$clear_cached_union_all_specs_count$ZeroArityFunction
kb_utilities.$clear_forbidden_kb_covering_collections_set$ZeroArityFunction
kb_utilities.$form_sort_pred$BinaryFunction
kb_utilities.$fort_L$BinaryFunction
kb_utilities.$hl_external_id_string_p$UnaryFunction
kb_utilities.$term_L$BinaryFunction
ke
keyhash
keyhash_utilities
keyhash.$iterate_keyhash_necessary$UnaryFunction
keyhash.$keyhash_native
keyhash.$keyhash_p$UnaryFunction
list_utilities
list_utilities.$cadar$UnaryFunction
list_utilities.$dotted_list_p$UnaryFunction
list_utilities.$flip_cons$UnaryFunction
list_utilities.$negated_test_func$UnaryFunction
list_utilities.$quotify$UnaryFunction
list_utilities.$sort_via_position_earlier$BinaryFunction
lucene_session
lucene_session.$lucene_session_native
lucene_session.$lucene_session_p$UnaryFunction
mail_message
mail_message.$message_native
mail_message.$message_p$UnaryFunction
mail_message.$message_part_native
mail_message.$message_part_p$UnaryFunction
map_utilities
memoization_state
memoization_state.$caching_state_native
memoization_state.$caching_state_p$UnaryFunction
memoization_state.$memoization_state_native
memoization_state.$memoization_state_p$UnaryFunction
meta_macros
misc_kb_utilities
misc_kb_utilities.$get_term_id$UnaryFunction
misc_utilities
modules
modules.$module_native
modules.$module_p$UnaryFunction
modules.$system_native
modules.$system_p$UnaryFunction
morphology
morphology.$aes_able_to_ate$BinaryFunction
morphology.$aes_add_e_before_s$BinaryFunction
morphology.$aes_ble_to_bil_before_ity$BinaryFunction
morphology.$aes_change_aic_to_ac$BinaryFunction
morphology.$aes_change_ceive_to_cept$BinaryFunction
morphology.$aes_change_ie_to_y$BinaryFunction
morphology.$aes_change_ism_to_ist$BinaryFunction
morphology.$aes_change_y_to_i$BinaryFunction
morphology.$aes_geminate_last$BinaryFunction
morphology.$aes_remove_able_le_before_ly$BinaryFunction
morphology.$aes_strip_final_e$BinaryFunction
morphology.$aes_strip_final_vowels_before_ic$BinaryFunction
mt_relevance_cache
mt_relevance_macros
mt_vars
mt_vars.$core_microtheory_p$UnaryFunction
mt_vars.$special_core_loop_mt_p$UnaryFunction
nart_handles
nart_handles.$nart_native
nart_handles.$nart_p$UnaryFunction
nart_handles.$sxhash_nart_method$UnaryFunction
nart_hl_formula_manager
nart_index_manager
narts_high
narts_high.$find_nart$UnaryFunction
narts_high.$nart_hl_formula$UnaryFunction
negation_predicate
neural_net
neural_net.$neural_net_native
neural_net.$neural_net_p$UnaryFunction
neural_net.$nn_input_node_native
neural_net.$nn_input_node_p$UnaryFunction
new_cycl_query_specification
new_cycl_query_specification.$new_cycl_query_specification_native
new_cycl_query_specification.$new_cycl_query_specification_p$UnaryFunction
number_utilities
numeric_date_utilities
obsolete
operation_communication	Handles communication to other Cyc images and does the
operation_queues
os_process_utilities
os_process_utilities.$os_process_impl_native
os_process_utilities.$os_process_impl_p$UnaryFunction
pattern_match
pattern_match.$pattern_matches_tree_recursive$BinaryFunction
postcanonicalizer
precanonicalizer
precanonicalizer.$el_evaluatable_expressionP$BinaryFunction
precanonicalizer.$el_evaluatable_expressionP$UnaryFunction
pred_relevance_macros
pred_relevance_macros.$pred_info_object_native
pred_relevance_macros.$pred_info_object_p$UnaryFunction
predicate_relevance_cache
preserves_genls_in_arg
preserves_genls_in_arg.$pgia_after_adding_isa$BinaryFunction
process_utilities
process_utilities.$ipc_queue_native
process_utilities.$ipc_queue_p$UnaryFunction
process_utilities.$ordered_ipc_queue_native
process_utilities.$ordered_ipc_queue_p$UnaryFunction
process_utilities.$process_wrapper_native
process_utilities.$process_wrapper_p$UnaryFunction
process_utilities.$task_native
process_utilities.$task_p$UnaryFunction
process_utilities.$thinking_task_native
process_utilities.$thinking_task_p$UnaryFunction
psc
queues
queues.$lazy_priority_queue_native
queues.$lazy_priority_queue_p$UnaryFunction
queues.$locked_p_queue_native
queues.$locked_p_queue_p$UnaryFunction
queues.$locked_queue_native
queues.$locked_queue_p$UnaryFunction
queues.$pq_collision_empty$UnaryFunction
queues.$pq_collision_enter$BinaryFunction
queues.$pq_collision_remove$BinaryFunction
queues.$priority_queue_native
queues.$priority_queue_p$UnaryFunction
queues.$queue_native
queues.$queue_p$UnaryFunction
red_api
red_api.$red_element_struct_native
red_api.$red_element_struct_p$UnaryFunction
red_api.$red_repository_list_struct_native
red_api.$red_repository_list_struct_p$UnaryFunction
red_api.$red_repository_struct_native
red_api.$red_repository_struct_p$UnaryFunction
red_api.$red_struct_native
red_api.$red_struct_p$UnaryFunction
red_infrastructure
red_infrastructure_macros
red_infrastructure.$red_symbol_native
red_infrastructure.$red_symbol_p$UnaryFunction
relation_evaluation
relation_evaluation.$clear_cached_evaluation_function$ZeroArityFunction
relation_evaluation.$cyc_evaluate_arg$UnaryFunction
remote_image
remote_image.$remote_image_connection_native
remote_image.$remote_image_connection_p$UnaryFunction
remote_image.$remote_image_native
remote_image.$remote_image_p$UnaryFunction
rewrite_of_propagation
rewrite_of_propagation.$fort_with_some_source_rewrite_of_assertions$UnaryFunction
rule_macros
scientific_numbers
sdbc
sdbc.$sdbc_error_native
sdbc.$sdbc_error_p$UnaryFunction
sdbc.$sql_connection_native
sdbc.$sql_connection_p$UnaryFunction
sdbc.$sql_result_set_native
sdbc.$sql_result_set_p$UnaryFunction
sdbc.$sql_statement_native
sdbc.$sql_statement_p$UnaryFunction
sdbc.$sql_ticket_native
sdbc.$sql_ticket_p$UnaryFunction
sdc
sdc.$any_sdc_wrtP$BinaryFunction
sdc.$sbhl_determine_sd_and_store_candidates$UnaryFunction
sdc.$sbhl_gather_sd_candidates$UnaryFunction
sdc.$sbhl_mark_sd_genls_isas$UnaryFunction
search
search.$search_node_native
search.$search_node_p$UnaryFunction
search.$search_struc_native
search.$search_struc_p$UnaryFunction
secure_translation
secure_translation.$secure_id_database_native
secure_translation.$secure_id_database_p$UnaryFunction
set
set_contents
set_contents.$set_contents_size$UnaryFunction
set_utilities
set.$cfasl_input_set$UnaryFunction
set.$set_native
set.$set_p$UnaryFunction
shelfs
shelfs.$shelf_info_native
shelfs.$shelf_info_p$UnaryFunction
shelfs.$shelf_native
shelfs.$shelf_p$UnaryFunction
simple_indexing
simple_indexing.$matches_pragma_rule_index_test$BinaryFunction
simple_lru_cache_strategy
simple_lru_cache_strategy.$simple_lru_cache_strategy_native
simple_lru_cache_strategy.$simple_lru_cache_strategy_p$UnaryFunction
simplifier
simplifier.$nested_collectionsubsetfn_expressionP$UnaryFunction
simplifier.$simplify_cycl_sentence_int$BinaryFunction
simplifier.$simplify_cycl_sentence_int$UnaryFunction
skolems
somewhere_cache
sparse_matrix
sparse_matrix.$sparse_matrix_native
sparse_matrix.$sparse_matrix_p$UnaryFunction
sparse_vector
sparse_vector.$sparse_vector_native
sparse_vector.$sparse_vector_p$UnaryFunction
special_variable_state
special_variable_state.$special_variable_state_native
special_variable_state.$special_variable_state_p$UnaryFunction
stacks
stacks.$locked_stack_native
stacks.$locked_stack_p$UnaryFunction
stacks.$stack_native
stacks.$stack_p$UnaryFunction
standard_tokenization
standard_tokenization.$dot_analysis_native
standard_tokenization.$dot_analysis_p$UnaryFunction
stream_buffer
stream_buffer.$stream_buffer_native
stream_buffer.$stream_buffer_p$UnaryFunction
stream_buffer.$string_buffer_native
stream_buffer.$string_buffer_p$UnaryFunction
string_utilities
string_utilities.$char_in_char_set$UnaryFunction
string_utilities.$cyclify_status_native
string_utilities.$cyclify_status_p$UnaryFunction
string_utilities.$not_digit_char_p$UnaryFunction
string_utilities.$string_wXo_control_charsP$UnaryFunction
string_utilities.$whitespacep$UnaryFunction
subl_identifier
subl_macro_promotions
subl_macros
subl_promotions
subl_promotions.$non_negative_integer_p$UnaryFunction
system_benchmarks
system_info
system_parameters
system_translation
system_translation.$system_translation_native
system_translation.$system_translation_p$UnaryFunction
system_version
task_processor
task_processor.$task_info_native
task_processor.$task_info_p$UnaryFunction
task_processor.$task_process_pool_native
task_processor.$task_process_pool_p$UnaryFunction
task_processor.$task_processor_native
task_processor.$task_processor_p$UnaryFunction
task_processor.$task_result_set_native
task_processor.$task_result_set_p$UnaryFunction
tcp_server_utilities
tcp_server_utilities.$tcp_server_native
tcp_server_utilities.$tcp_server_p$UnaryFunction
term
term.$closed_nautP$BinaryFunction
term.$closed_nautP$UnaryFunction
term.$fast_reified_skolemP$UnaryFunction
term.$fast_skolem_natP$UnaryFunction
term.$kb_assertionP$UnaryFunction
term.$reified_skolem_constant_termP$UnaryFunction
term.$skolem_constantP$UnaryFunction
term.$unreified_skolem_termP$UnaryFunction
term.$var_specP$UnaryFunction
test_query_suite
test_query_suite.$test_query_suite_native
test_query_suite.$test_query_suite_p$UnaryFunction
timing
timing.$timing_info_native
timing.$timing_info_p$UnaryFunction
tms
transcript_server
transcript_utilities
transform_list_utilities
transitivity
tries
tries.$trie_native
tries.$trie_p$UnaryFunction
tva_cache
tva_cache.$tva_cache_native
tva_cache.$tva_cache_p$UnaryFunction
tva_inference
tva_inference.$tva_inference_native
tva_inference.$tva_inference_p$UnaryFunction
tva_strategy
tva_strategy.$tva_strategy_native
tva_strategy.$tva_strategy_p$UnaryFunction
tva_tactic
tva_tactic.$tva_tactic_native
tva_tactic.$tva_tactic_p$UnaryFunction
tva_utilities
tva_utilities.$clear_cached_some_cva_for_predicate$ZeroArityFunction
tva_utilities.$clear_cached_some_tva_for_predicate$ZeroArityFunction
tva_utilities.$clear_cached_tva_spec_preds_and_inverses$ZeroArityFunction
tva_utilities.$some_conservative_via_arg_assertionP$UnaryFunction
tva_utilities.$some_transitive_via_arg_assertionP$UnaryFunction
tva_utilities.$tva_assertion_p$UnaryFunction
uncanonicalizer
uncanonicalizer.$fast_fi_not_el_termP$UnaryFunction
uncanonicalizer.$potentially_interestingly_uncanonicalizable_tense_termP$UnaryFunction
unicode_streams
unicode_streams.$utf8_stream_native
unicode_streams.$utf8_stream_p$UnaryFunction
unicode_strings
unicode_strings.$unicode_char_native
unicode_strings.$unicode_char_p$UnaryFunction
unicode_strings.$unicode_string_native
unicode_strings.$unicode_string_p$UnaryFunction
unicode_subsets
unification
unification_utilities
unification_utilities.$unify_clause$BinaryFunction
unification.$base_variable_p$UnaryFunction
unification.$variable_non_base_version$UnaryFunction
unrepresented_term_index_manager
unrepresented_terms
user_actions
user_actions.$action_type_native
user_actions.$action_type_p$UnaryFunction
user_actions.$user_action_native
user_actions.$user_action_p$UnaryFunction
utilities_macros
value_tables
value_tables.$value_table_column_native
value_tables.$value_table_column_p$UnaryFunction
value_tables.$value_table_native
value_tables.$value_table_p$UnaryFunction
value_tables.$variable_mapping_table_native
value_tables.$variable_mapping_table_p$UnaryFunction
variables
variables.$fully_bound_p$UnaryFunction
variables.$not_fully_bound_p$UnaryFunction
variables.$sxhash_variable_method$UnaryFunction
variables.$variable_L$BinaryFunction
variables.$variable_native
variables.$variable_p$UnaryFunction
vector_utilities
verbosifier
verbosifier.$expandible_el_relation_expressionP$BinaryFunction
verbosifier.$expandible_el_relation_expressionP$UnaryFunction
virtual_indexing
web_utilities
web_utilities.$html_url_expand_char$UnaryFunction
web_utilities.$url_p$UnaryFunction
web_utilities.$xml_token_iterator_state_native
web_utilities.$xml_token_iterator_state_p$UnaryFunction
web_utilities.$xml_token_mentions$BinaryFunction
wff
wff_macros
wff_module_datastructures
wff_module_datastructures.$wff_module_native
wff_module_datastructures.$wff_module_p$UnaryFunction
wff_utilities
wff_utilities.$non_wf_fort_p$UnaryFunction
wff_utilities.$non_wf_variable_p$UnaryFunction
wff_vars
wff.$clear_mal_actual_arity_cachedP$ZeroArityFunction
xml_utilities
xref_database
xref_database.$xref_module_native
xref_database.$xref_module_p$UnaryFunction
xref_database.$xref_system_native
xref_database.$xref_system_p$UnaryFunction