| Argument | |
| appearance as argument number 1 |
|
|
| (documentation Argument ChineseLanguage "这是任何具有演绎或归纳论证形式的命题，即是一组声称、暗示 一种结论的前提。") | chinese_format.kif 3765-3766 | |
| (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 15618-15620 | |
| (partition Argument DeductiveArgument InductiveArgument) | Merge.kif 15617-15617 | |
| (subclass Argument Proposition) | Merge.kif 15616-15616 |
| appearance as argument number 2 |
|
|
| (subclass DeductiveArgument Argument) | Merge.kif 15636-15636 | |
| (subclass InductiveArgument Argument) | Merge.kif 15668-15668 | |
| (subclass LegalOpinion Argument) | Mid-level-ontology.kif 13882-13882 | |
| (termFormat ChineseLanguage Argument "争论") | domainEnglishFormat.kif 8347-8347 | |
| (termFormat ChineseTraditionalLanguage Argument "爭論") | domainEnglishFormat.kif 8346-8346 | |
| (termFormat EnglishLanguage Argument "argument") | domainEnglishFormat.kif 8345-8345 |
| appearance as argument number 3 |
|
|
| (domain PremisesFn 1 Argument) | Merge.kif 15683-15683 | |
| (domain conclusion 1 Argument) | Merge.kif 15699-15699 | |
| (domain premise 1 Argument) | Merge.kif 15675-15675 |
| antecedent |
|
|
| (=> (and (instance ?ARGUMENT Argument) (equal ?PREMISES (PremisesFn ?ARGUMENT))) (<=> (subProposition ?PROPOSITION ?PREMISES) (premise ?ARGUMENT ?PROPOSITION))) |
Merge.kif 15688-15694 | |
| (=> (and (instance ?X Argument) (instance ?R Reasoning) (subProposition ?X Archeology) (realization ?R ?X)) (exists (?D ?S ?O ?T) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O ?T) (greaterThan ?T (MeasureFn 50 YearDuration)) (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 18891-18920 | |
| (=> (instance ?ARGUMENT Argument) (exists (?PREMISES ?CONCLUSION) (and (equal (PremisesFn ?ARGUMENT) ?PREMISES) (conclusion ?CONCLUSION ?ARGUMENT)))) |
Merge.kif 15629-15634 |
| consequent |
|
|
| (=> (evidence ?LA ?P) (exists (?A) (and (instance ?PROP Proposition) (instance ?A Argument) (refers ?A ?LA) (represents ?PROP ?P) (premise ?A ?PROP)))) |
Law.kif 223-231 | |
| (=> (instance ?ARGUE Arguing) (exists (?STATEMENT ?ARGUMENT) (and (patient ?ARGUE ?STATEMENT) (instance ?STATEMENT Statement) (containsInformation ?STATEMENT ?ARGUMENT) (instance ?ARGUMENT Argument)))) |
Mid-level-ontology.kif 1297-1304 | |
| (=> (instance ?REASON Reasoning) (exists (?ARGUMENT) (and (instance ?ARGUMENT Argument) (realization ?REASON ?ARGUMENT)))) |
Merge.kif 15622-15627 |
|
|
|