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 è esaustivamente partizionato in DeductiveArgument + InductiveArgument |
(subclass Argument Proposition) | Merge.kif 16834-16834 | Argument è una sottoclasse di Proposizione |
appearance as argument number 2 |
(subclass DeductiveArgument Argument) | Merge.kif 16854-16854 | DeductiveArgument è una sottoclasse di Argument |
(subclass InductiveArgument Argument) | Merge.kif 16886-16886 | InductiveArgument è una sottoclasse di Argument |
(subclass LegalOpinion Argument) | Mid-level-ontology.kif 16182-16182 | LegalOpinion è una sottoclasse di 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 | Il numero 1 argomenti di PremisesFn è un istanza di Argument |
(domain conclusion 1 Argument) | Merge.kif 16917-16917 | Il numero 1 argomenti di conclusion è un istanza di Argument |
(domain premise 1 Argument) | Merge.kif 16893-16893 | Il numero 1 argomenti di premise è un istanza di Argument |
antecedent |
consequent |