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 16836-16838 | |
(partition Argument DeductiveArgument InductiveArgument) | Merge.kif 16835-16835 | Argument wird vollstaendig in DeductiveArgument und InductiveArgument verteilt |
(subclass Argument Proposition) | Merge.kif 16834-16834 | Argument ist eine teilkategorie von Proposition |
appearance as argument number 2 |
(subclass DeductiveArgument Argument) | Merge.kif 16854-16854 | DeductiveArgument ist eine teilkategorie von Argument |
(subclass InductiveArgument Argument) | Merge.kif 16886-16886 | InductiveArgument ist eine teilkategorie von Argument |
(subclass LegalOpinion Argument) | Mid-level-ontology.kif 16182-16182 | LegalOpinion ist eine teilkategorie von Argument |
(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 16901-16901 | Die Zahl 1 Argument von PremisesFn ist ein fall von Argument %n{nicht} |
(domain conclusion 1 Argument) | Merge.kif 16917-16917 | Die Zahl 1 Argument von conclusion ist ein fall von Argument %n{nicht} |
(domain premise 1 Argument) | Merge.kif 16893-16893 | Die Zahl 1 Argument von premise ist ein fall von Argument %n{nicht} |
antecedent |
(=> (and (instance ?ARGUMENT Argument) (equal ?PREMISES (PremisesFn ?ARGUMENT))) (<=> (subProposition ?PROPOSITION ?PREMISES) (premise ?ARGUMENT ?PROPOSITION))) |
Merge.kif 16906-16912 |
|
(=> (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 21146-21176 |
|
(=> (instance ?ARGUMENT Argument) (exists (?PREMISES ?CONCLUSION) (and (equal (PremisesFn ?ARGUMENT) ?PREMISES) (conclusion ?CONCLUSION ?ARGUMENT)))) |
Merge.kif 16847-16852 |
|
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 909-916 |
|
(=> (instance ?REASON Reasoning) (exists (?ARGUMENT) (and (instance ?ARGUMENT Argument) (realization ?REASON ?ARGUMENT)))) |
Merge.kif 16840-16845 |
|