Package com.cyc.cycjava.cycl.inference

Class Summary

arete
ask_utilities
collection_intersection
inference_completeness_utilities
inference_pad_data
inference_trampolines
inference_trampolines.$clear_indeterminate_term_p$ZeroArityFunction
inference_trampolines.$inference_commutative_predicate_p$UnaryFunction
inference_trampolines.$inference_evaluatable_predicateP$UnaryFunction
inference_trampolines.$inference_partially_commutative_predicate_p$UnaryFunction
inference_trampolines.$inference_predicate_p$UnaryFunction
inference_trampolines.$inference_reflexive_predicateP$UnaryFunction
inference_trampolines.$inference_some_genl_pred_or_inverseP$UnaryFunction
inference_trampolines.$inference_some_spec_pred_or_inverseP$UnaryFunction
inference_trampolines.$inference_symmetric_predicateP$UnaryFunction
inference_trampolines.$inference_transitive_predicateP$UnaryFunction
janus
kbq_query_run
kbq_query_run.$clear_cached_all_instances_among$ZeroArityFunction
kbq_query_run.$kbq_runstate_native
kbq_query_run.$kbq_runstate_p$UnaryFunction
kbq_query_run.$kct_runstate_native
kbq_query_run.$kct_runstate_p$UnaryFunction
kbq_query_run.$kct_set_runstate_native
kbq_query_run.$kct_set_runstate_p$UnaryFunction
leviathan