isCycPredArity_ignoreable(?VALUE1, ?VALUE2) is semidet

If Is A Cyc Predicate Arity Ignoreable.

 which_t(?VALUE1) is semidet

Which True Stucture.

 holds_t(?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7) is semidet

Holds True Stucture.

 holds_t(:PRED6P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6) is semidet

Holds True Stucture.

 holds_t(:PRED5P, ?A1, ?A2, ?A3, ?A4, ?A5) is semidet

Holds True Stucture.

 holds_t(?P, ?A1, ?A2, ?A3, ?A4) is semidet

Holds True Stucture.

 holds_t(?P, ?A1, ?A2, ?A3) is semidet

Holds True Stucture.

 holds_t(?P, ?A1, ?A2) is semidet

Holds True Stucture.

 holds_t(?P, ?A1) is semidet

Holds True Stucture.

 holds_relaxed_t(?P, ?A1, ?A2) is semidet

Holds Relaxed True Stucture.

 holds_relaxed_0_t(?DBS, ?P, ?A1, ?A2) is semidet

holds relaxed Primary Helper True Stucture.

 holds_t(:TermCALL) is semidet

Holds True Stucture.

 holds_plist_t(?P, ?LIST) is semidet

Holds Plist True Stucture.

 add_arg_parts_of_speech(?F, ?N, :TermARG3, :TermARG4) is semidet

Add Argument Parts Of Speech.

 argIsa_call_or_undressed(?F, ?N, ?Obj, ?Obj) is semidet

Argument (isa/2) call or undressed.

 verb_after_arg(?VALUE1, ?VALUE2, :PRED1VALUE3) is semidet

Verb After Argument.

 print_sentence(?Proof) is semidet

Print Sentence.

 fix_sentence(?X, ?X) is semidet

Fix Sentence.

 relax_term(?P, ?P, ?Aic, ?Aic, ?Bic, ?Bic) is semidet

Relax Term.

 callable_tf(?F, ?A) is semidet

Callable True/false.

 call_whichlist_t(?UPARAM1, :GoalGOAL2, ?List) is semidet

Call Whichlist True Stucture.

 call_which_t(?DBS, ?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7) is semidet

Call Which True Stucture.

 call_which_t(?UPARAM1, :PRED6P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6) is semidet

Call Which True Stucture.

 call_which_t(?UPARAM1, :PRED5P, ?A1, ?A2, ?A3, ?A4, ?A5) is semidet

Call Which True Stucture.

 call_which_t(?UPARAM1, :PRED4P, ?A1, ?A2, ?A3, ?A4) is semidet

Call Which True Stucture.

 call_which_t(?UPARAM1, :PRED3P, ?A1, ?A2, ?A3) is semidet

Call Which True Stucture.

 call_which_t(?UPARAM1, :PRED2P, ?A1, ?A2) is semidet

Call Which True Stucture.

 call_which_t(?UPARAM1, :PRED1P, ?A1) is semidet

Call Which True Stucture.

 call_mt_t(?VALUE1, ?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7, ?A8, ?A9) is semidet

Call User Microtheory True Stucture.

 call_mt_t(?VALUE1, ?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7, ?A8) is semidet

Call User Microtheory True Stucture.

 call_mt_t(?VALUE1, ?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7) is semidet

Call User Microtheory True Stucture.

 call_mt_t(?UPARAM1, :PRED6P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6) is semidet

Call User Microtheory True Stucture.

 call_mt_t(?UPARAM1, :PRED5P, ?A1, ?A2, ?A3, ?A4, ?A5) is semidet

Call User Microtheory True Stucture.

 call_mt_t(?UPARAM1, :PRED4P, ?A1, ?A2, ?A3, ?A4) is semidet

Call User Microtheory True Stucture.

 call_mt_t(?UPARAM1, :PRED3P, ?A1, ?A2, ?A3) is semidet

Call User Microtheory True Stucture.

 call_mt_t(?UPARAM1, :PRED2P, ?A1, ?A2) is semidet

Call User Microtheory True Stucture.

 xcall_t(?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7, ?A8, ?A9) is semidet

Extended Call True Stucture.

 xcall_t(?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7, ?A8) is semidet

Extended Call True Stucture.

 xcall_t(?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7) is semidet

Extended Call True Stucture.

 xcall_t(:PRED6P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6) is semidet

Extended Call True Stucture.

 xcall_t(:PRED5P, ?A1, ?A2, ?A3, ?A4, ?A5) is semidet

Extended Call True Stucture.

 xcall_t(:PRED4P, ?A1, ?A2, ?A3, ?A4) is semidet

Extended Call True Stucture.

 xcall_t(:PRED3P, ?A1, ?A2, ?A3) is semidet

Extended Call True Stucture.

 xcall_t(:PRED2P, ?A1, ?A2) is semidet

Extended Call True Stucture.

 xcall_t(:PRED1P, ?A1) is semidet

Extended Call True Stucture.

 xcall_t(:GoalP) is semidet

Extended Call True Stucture.

 assertion_t(?Call) is semidet

Assertion True Stucture.

 which_f(?VALUE1) is semidet

Which False.

 holds_f(?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7) is semidet

Holds False.

 holds_f(:PRED6P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6) is semidet

Holds False.

 holds_f(:PRED5P, ?A1, ?A2, ?A3, ?A4, ?A5) is semidet

Holds False.

 holds_f(?P, ?A1, ?A2, ?A3, ?A4) is semidet

Holds False.

 holds_f(?P, ?A1, ?A2, ?A3) is semidet

Holds False.

 holds_f(?P, ?A1, ?A2) is semidet

Holds False.

 holds_f(:PRED1P, ?A1) is semidet

Holds False.

 holds_relaxed_f(?P, ?A1, ?A2) is semidet

Holds Relaxed False.

 holds_relaxed_0_f(?DBS, :PRED4P, ?A1, ?A2) is semidet

holds relaxed Primary Helper False.

 holds_f(:TermCALL) is semidet

Holds False.

 holds_f_p2(?P, ?LIST) is semidet

Holds False Pred Extended Helper.

 mpred_f(?List) is semidet

Managed Predicate False.

 call_f(?VALUE1, ?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7) is semidet

Call False.

 call_f(?UPARAM1, :PRED6P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6) is semidet

Call False.

 call_f(?UPARAM1, :PRED5P, ?A1, ?A2, ?A3, ?A4, ?A5) is semidet

Call False.

 call_f(?UPARAM1, :PRED4P, ?A1, ?A2, ?A3, ?A4) is semidet

Call False.

 call_f(?UPARAM1, :PRED3P, ?A1, ?A2, ?A3) is semidet

Call False.

 call_f(?UPARAM1, :PRED2P, ?A1, ?A2) is semidet

Call False.

 call_f(?UPARAM1, :PRED1P, ?A1) is semidet

Call False.

 call_mt_f(?VALUE1, ?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7, ?A8, ?A9) is semidet

Call User Microtheory False.

 call_mt_f(?VALUE1, ?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7, ?A8) is semidet

Call User Microtheory False.

 call_mt_f(?VALUE1, ?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7) is semidet

Call User Microtheory False.

 call_mt_f(?UPARAM1, :PRED6P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6) is semidet

Call User Microtheory False.

 call_mt_f(?UPARAM1, :PRED5P, ?A1, ?A2, ?A3, ?A4, ?A5) is semidet

Call User Microtheory False.

 call_mt_f(?UPARAM1, :PRED4P, ?A1, ?A2, ?A3, ?A4) is semidet

Call User Microtheory False.

 call_mt_f(?UPARAM1, :PRED3P, ?A1, ?A2, ?A3) is semidet

Call User Microtheory False.

 call_mt_f(?UPARAM1, :PRED2P, ?A1, ?A2) is semidet

Call User Microtheory False.

 xcall_f(?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7, ?A8, ?A9) is semidet

Extended Call False.

 xcall_f(?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7, ?A8) is semidet

Extended Call False.

 xcall_f(?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7) is semidet

Extended Call False.

 xcall_f(:PRED6P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6) is semidet

Extended Call False.

 xcall_f(:PRED5P, ?A1, ?A2, ?A3, ?A4, ?A5) is semidet

Extended Call False.

 xcall_f(:PRED4P, ?A1, ?A2, ?A3, ?A4) is semidet

Extended Call False.

 xcall_f(:PRED3P, ?A1, ?A2, ?A3) is semidet

Extended Call False.

 xcall_f(:PRED2P, ?A1, ?A2) is semidet

Extended Call False.

 xcall_f(:PRED1P, ?A1) is semidet

Extended Call False.

 xcall_f(:GoalP) is semidet

Extended Call False.

 assertion_f(:TermAH) is semidet

Assertion False.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 differentTerms(Arg1, Arg2)

 compute_value(Arg1, Arg2)

 compute_value_no_dice(Arg1, Arg2)

 flatten_append(Arg1, Arg2, Arg3)

 insert_into(Arg1, Arg2, Arg3, Arg4)

 into_plist(Arg1, Arg2)

 into_plist_arities(Arg1, Arg2, Arg3, Arg4)

 inverse_args(Arg1, Arg2)

 list_update_op(Arg1, Arg2, Arg3)

 mpred_fact_arity(Arg1, Arg2)

 never_mpred_tcall(Arg1)

 prologHybridFact(Arg1)

 replace_arg(Arg1, Arg2, Arg3, Arg4)

 replace_nth_arglist(Arg1, Arg2, Arg3, Arg4)

 replace_nth_ref(Arg1, Arg2, Arg3, Arg4, Arg5)

 same_vars(Arg1, Arg2)

 update_value(Arg1, Arg2, Arg3)