Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (subclass Reasoning IntentionalPsychologicalProcess) | Merge.kif 12278-12278 | Reasoning is a subclass of intentional psychological process |
| (documentation Reasoning EnglishLanguage "The Class of IntentionalPsychologicalProcesses which involve concluding, on the basis of either deductive or inductive evidence, that a particular Proposition or Sentence is true.") | Merge.kif 12279-12281 | Reasoning is a subclass of intentional psychological process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Reasoning "reasoning") | english_format.kif 1513-1513 |
| antecedent |
|
|
| (=> (instance ?REASON Reasoning) (exists (?ARGUMENT) (and (instance ?ARGUMENT Argument) (realization ?REASON ?ARGUMENT)))) |
Merge.kif 17171-17176 | If X is an instance of reasoning, then there exists Y such that Y is an instance of argument and X expresses the content of Y |
| (=> (and (instance ?X Argument) (instance ?R Reasoning) (instance ?A Archeology) (subProposition ?X ?A) (realization ?R ?X)) (exists (?D ?S ?O ?T ?W ?L) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O (MeasureFn ?T YearDuration)) (greaterThan ?T 50) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (or (and (surface ?S ?W) (instance ?W BodyOfWater) (orientation ?O ?S Below)) (and (surface ?S ?L) (instance ?L LandArea) (orientation ?O ?S Below))))))) |
Geography.kif 6008-6038 | If X is an instance of argument, Y is an instance of reasoning, Z is an instance of archeology, X is a sub-proposition of Z, and Y expresses the content of X, then there exist W, V,, , U,, , T,, , S and R such that W is an instance of discovering and U is an instance of object and U is a patient of W and Y includes a reference to W and the time of existence of W happens earlier than the time of existence of Y and the age of U is T year duration(s) and T is greater than 50 and V is a surface of S and S is an instance of body of water and U is below to V or V is a surface of R and R is an instance of land area and U is below to V holds during immediately before the time of existence of W |
| consequent |
|
|
| (=> (instance ?AGENT CognitiveAgent) (capability Reasoning agent ?AGENT)) |
Merge.kif 12283-12285 | If X is an instance of cognitive agent, then X is capable of doing reasoning as a agent |
| (=> (instance ?WA WeatherAssessment) (containsFormula ?WA (exists (?R ?A ?WP) (and (instance ?R Reasoning) (instance ?A CognitiveAgent) (agent ?R ?A) (instance ?WP WeatherProcess) (patient ?R ?WP) (result ?R ?WA) (earlier (WhenFn ?WP) (WhenFn ?WA)))))) |
Weather.kif 4461-4472 | If X is an instance of weather assessment, then All of the following hold: (1) X contains the formula there exist Y, Z (2) W such that Y is an instance of reasoning (3) Z is an instance of cognitive agent (4) Z is an agent of Y (5) W is an instance of weather process (6) W is a patient of Y (7) X is a result of Y (8) the time of existence of W happens earlier than the time of existence of X |
|