| Argument(argument) | | case, clericalism, colligation, policy, zero-tolerance_policy |
| appearance as argument number 1 |
|
|
| (subclass Argument Proposition) | Merge.kif 17009-17009 | Argument is a subclass of proposition |
| (partition Argument DeductiveArgument InductiveArgument) | Merge.kif 17010-17010 | 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 17011-17013 | 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 17068-17068 | The number 1 argument of premise is an instance of argument |
| (domain PremisesFn 1 Argument) | Merge.kif 17076-17076 | The number 1 argument of premises is an instance of argument |
| (domain conclusion 1 Argument) | Merge.kif 17092-17092 | The number 1 argument of conclusion is an instance of argument |
| antecedent |
|
|
| (=> (instance ?ARGUMENT Argument) (exists (?PREMISES ?CONCLUSION) (and (equal (PremisesFn ?ARGUMENT) ?PREMISES) (conclusion ?CONCLUSION ?ARGUMENT)))) |
Merge.kif 17022-17027 | If X is an instance of argument, then there exist Y, Z such that equal the premises of argument X, Y, and the conclusion of argument Z is X |
| (=> (and (instance ?ARGUMENT Argument) (equal ?PREMISES (PremisesFn ?ARGUMENT))) (<=> (subProposition ?PROPOSITION ?PREMISES) (premise ?ARGUMENT ?PROPOSITION))) |
Merge.kif 17081-17087 | If X is an instance of argument and equal Y and the premises of argument X, then Z is a sub-proposition of Y if and only if Z is a premise of X |
| (=> (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))))))) |
Mid-level-ontology.kif 23455-23485 | 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 17015-17020 | 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 905-912 | 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 |
|
|
|