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 16885-16887 | |
(partition Argument DeductiveArgument InductiveArgument) | Merge.kif 16884-16884 | 争论 详尽无遗地 partition 成 演绎论证 和 归纳论证 |
(subclass Argument Proposition) | Merge.kif 16883-16883 | 争论 是 命题 的 subclass |
appearance as argument number 2 |
(subclass DeductiveArgument Argument) | Merge.kif 16903-16903 | 演绎论证 是 争论 的 subclass |
(subclass InductiveArgument Argument) | Merge.kif 16935-16935 | 归纳论证 是 争论 的 subclass |
(subclass LegalOpinion Argument) | Mid-level-ontology.kif 16210-16210 | 法律意见 是 争论 的 subclass |
(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 16950-16950 | 前提函数 的 1 数量 是 争论 的 instance |
(domain conclusion 1 Argument) | Merge.kif 16966-16966 | 结论 的 1 数量 是 争论 的 instance |
(domain premise 1 Argument) | Merge.kif 16942-16942 | 前提 的 1 数量 是 争论 的 instance |
antecedent |
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 16889-16894 |