Reasoning(reasoning) | a_posteriori, a_priori, abstract, abstract_thought, abstraction, account, account_for, allegorise, allegorize, analogy, answer_for, approve, approximate, arguably, argument, argumentation, assess, attest, base, bear_out, biologism, blind, brainstorm, build, build_on, build_upon, casuistic, casuistical, cerebrate, cerebration, certify, check, checksum, cogitate, conclusion, confirmation, confutation, confute, conjecture, construct, construction, contradict, controvert, convergent_thinking, corollary, corroborate, counterexample, crystallization, date, deduce... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3117-3119 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11993-11995 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11992-11992 | Reasoning is a subclass of intentional psychological process |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1146-1146 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1509-1509 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 824-824 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 356-356 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 359-359 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2508-2508 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 776-776 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 361-361 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 395-395 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 845-845 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 360-360 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11997-11999 |
|