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 12015-12017 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12014-12014 | 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 12019-12021 |
|
![]() |
![]() |