| 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 16989-16991 | |
| (partition Argument DeductiveArgument InductiveArgument) | Merge.kif 16988-16988 | |
| (subclass Argument Proposition) | Merge.kif 16987-16987 |
| appearance as argument number 2 |
|
|
| (subclass DeductiveArgument Argument) | Merge.kif 17007-17007 | |
| (subclass InductiveArgument Argument) | Merge.kif 17039-17039 | |
| (subclass LegalOpinion Argument) | Mid-level-ontology.kif 17570-17570 | |
| (termFormat ChineseLanguage Argument "争论") | domainEnglishFormat.kif 8341-8341 | |
| (termFormat ChineseTraditionalLanguage Argument "爭論") | domainEnglishFormat.kif 8340-8340 | |
| (termFormat EnglishLanguage Argument "argument") | domainEnglishFormat.kif 8339-8339 |
| appearance as argument number 3 |
|
|
| (domain PremisesFn 1 Argument) | Merge.kif 17054-17054 | |
| (domain conclusion 1 Argument) | Merge.kif 17070-17070 | |
| (domain premise 1 Argument) | Merge.kif 17046-17046 |
| antecedent |
|
|
| (=> (and (instance ?ARGUMENT Argument) (equal ?PREMISES (PremisesFn ?ARGUMENT))) (<=> (subProposition ?PROPOSITION ?PREMISES) (premise ?ARGUMENT ?PROPOSITION))) |
Merge.kif 17059-17065 | |
| (=> (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 22764-22794 | |
| (=> (instance ?ARGUMENT Argument) (exists (?PREMISES ?CONCLUSION) (and (equal (PremisesFn ?ARGUMENT) ?PREMISES) (conclusion ?CONCLUSION ?ARGUMENT)))) |
Merge.kif 17000-17005 |
| 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 180-188 | |
| (=> (instance ?ARGUE Arguing) (exists (?STATEMENT ?ARGUMENT) (and (patient ?ARGUE ?STATEMENT) (instance ?STATEMENT Statement) (containsInformation ?STATEMENT ?ARGUMENT) (instance ?ARGUMENT Argument)))) |
Mid-level-ontology.kif 902-909 | |
| (=> (instance ?REASON Reasoning) (exists (?ARGUMENT) (and (instance ?ARGUMENT Argument) (realization ?REASON ?ARGUMENT)))) |
Merge.kif 16993-16998 |
|
|
|