Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Argument(argument) |  | case, clericalism, colligation, policy, zero-tolerance_policy |
| appearance as argument number 1 |
|
|
| (subclass Argument Proposition) | Merge.kif 17165-17165 | Argument is a subclass of proposition |
| (partition Argument DeductiveArgument InductiveArgument) | Merge.kif 17166-17166 | Argument is exhaustively partitioned into deductive argument and inductive argument |
| (documentation Argument EnglishLanguage "Any proposition which has the form of a deductive or inductive argument, i.e. a set of premises which, it is claimed, imply a conclusion.") | Merge.kif 17167-17169 | Argument is exhaustively partitioned into deductive argument and inductive argument |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain premise 1 Argument) | Merge.kif 17225-17225 | The number 1 argument of premise is an instance of argument |
| (domain PremisesFn 1 Argument) | Merge.kif 17233-17233 | The number 1 argument of premises is an instance of argument |
| (domain conclusion 1 Argument) | Merge.kif 17249-17249 | The number 1 argument of conclusion is an instance of argument |
| antecedent |
|
|
| (=> (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 ?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 |
| (=> (instance ?ARGUE Arguing) (exists (?STATEMENT ?ARGUMENT) (and (patient ?ARGUE ?STATEMENT) (instance ?STATEMENT Statement) (containsInformation ?STATEMENT ?ARGUMENT) (instance ?ARGUMENT Argument)))) |
Mid-level-ontology.kif 899-906 | If X is an instance of arguing, then there exist Y, Z such that Y is a patient of X, Y is an instance of statement, Y contains information Z, and Z is an instance of argument |
| (=> (evidence ?LA ?P) (exists (?A ?PROP) (and (instance ?PROP Proposition) (instance ?A Argument) (refers ?A ?LA) (represents ?PROP ?P) (premise ?A ?PROP)))) |
Law.kif 180-188 | If X is evidence in Y, then there exist Z, W such that W is an instance of proposition, Z is an instance of argument, Z includes a reference to Y, W expresses X, and W is a premise of Z |
|