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 16814-16816 | |
(partition Argument DeductiveArgument InductiveArgument) | Merge.kif 16813-16813 | O conceito Argument e' completamente decomposto em DeductiveArgument + InductiveArgument |
(subclass Argument Proposition) | Merge.kif 16812-16812 | Argument e' uma sub-classe de Proposicao |
appearance as argument number 2 |
(subclass DeductiveArgument Argument) | Merge.kif 16832-16832 | DeductiveArgument e' uma sub-classe de Argument |
(subclass InductiveArgument Argument) | Merge.kif 16864-16864 | InductiveArgument e' uma sub-classe de Argument |
(subclass LegalOpinion Argument) | Mid-level-ontology.kif 16183-16183 | LegalOpinion e' uma sub-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 16879-16879 | O argumento numero 1 de PremisesFn e' uma instancia de Argument |
(domain conclusion 1 Argument) | Merge.kif 16895-16895 | O argumento numero 1 de conclusion e' uma instancia de Argument |
(domain premise 1 Argument) | Merge.kif 16871-16871 | O argumento numero 1 de premise e' uma instancia de Argument |
antecedent |
consequent |