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 est compl�tement d�compos� en DeductiveArgument + InductiveArgument |
(subclass Argument Proposition) | Merge.kif 16834-16834 | Argument est une sous-classe de proposition |
appearance as argument number 2 |
(subclass DeductiveArgument Argument) | Merge.kif 16854-16854 | DeductiveArgument est une sous-classe de Argument |
(subclass InductiveArgument Argument) | Merge.kif 16886-16886 | InductiveArgument est une sous-classe de Argument |
(subclass LegalOpinion Argument) | Mid-level-ontology.kif 16182-16182 | LegalOpinion est une sous-classe de 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 | Le nombre 1 argument de PremisesFn est une instance de Argument |
(domain conclusion 1 Argument) | Merge.kif 16917-16917 | Le nombre 1 argument de conclusion est une instance de Argument |
(domain premise 1 Argument) | Merge.kif 16893-16893 | Le nombre 1 argument de premise est une instance de Argument |
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 909-916 |
|
(=> (instance ?REASON Reasoning) (exists (?ARGUMENT) (and (instance ?ARGUMENT Argument) (realization ?REASON ?ARGUMENT)))) |
Merge.kif 16840-16845 |
|