| 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 16707-16709 | |
| (partition Argument DeductiveArgument InductiveArgument) | Merge.kif 16706-16706 | |
| (subclass Argument Proposition) | Merge.kif 16705-16705 |
| appearance as argument number 2 |
|
|
| (subclass DeductiveArgument Argument) | Merge.kif 16725-16725 | |
| (subclass InductiveArgument Argument) | Merge.kif 16757-16757 | |
| (subclass LegalOpinion Argument) | Mid-level-ontology.kif 16116-16116 | |
| (termFormat ChineseLanguage Argument "争论") | domainEnglishFormat.kif 8340-8340 | |
| (termFormat ChineseTraditionalLanguage Argument "爭論") | domainEnglishFormat.kif 8339-8339 | |
| (termFormat EnglishLanguage Argument "argument") | domainEnglishFormat.kif 8338-8338 |
| appearance as argument number 3 |
|
|
| (domain PremisesFn 1 Argument) | Merge.kif 16772-16772 | |
| (domain conclusion 1 Argument) | Merge.kif 16788-16788 | |
| (domain premise 1 Argument) | Merge.kif 16764-16764 |
| antecedent |
|
|
| (=> (and (instance ?ARGUMENT Argument) (equal ?PREMISES (PremisesFn ?ARGUMENT))) (<=> (subProposition ?PROPOSITION ?PREMISES) (premise ?ARGUMENT ?PROPOSITION))) |
Merge.kif 16777-16783 | |
| (=> (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 21050-21080 | |
| (=> (instance ?ARGUMENT Argument) (exists (?PREMISES ?CONCLUSION) (and (equal (PremisesFn ?ARGUMENT) ?PREMISES) (conclusion ?CONCLUSION ?ARGUMENT)))) |
Merge.kif 16718-16723 |
| consequent |
|
|
| (=> (evidence ?LA ?P) (exists (?A ?PROP) (and (instance ?PROP Proposition) (instance ?A Argument) (refers ?A ?LA) (represents ?PROP ?P) (premise ?A ?PROP)))) |
Law.kif 199-207 | |
| (=> (instance ?ARGUE Arguing) (exists (?STATEMENT ?ARGUMENT) (and (patient ?ARGUE ?STATEMENT) (instance ?STATEMENT Statement) (containsInformation ?STATEMENT ?ARGUMENT) (instance ?ARGUMENT Argument)))) |
Mid-level-ontology.kif 881-888 | |
| (=> (instance ?REASON Reasoning) (exists (?ARGUMENT) (and (instance ?ARGUMENT Argument) (realization ?REASON ?ARGUMENT)))) |
Merge.kif 16711-16716 |
|
|
|