| InductiveArgument(inductive argument) | | generalisation, generalization, induction, inductive_reasoning |
| appearance as argument number 1 |
|
|
| (documentation InductiveArgument ChineseLanguage "这是一种归纳的 Argument，即是它声称一组特定 的案例导致它的 conclusion，这个论据把这些案例概括，说成更有可能是真的论点。") | chinese_format.kif 3775-3776 | |
| (documentation InductiveArgument EnglishLanguage "An Argument which is inductive, i.e. it is claimed that a set of specific cases makes the conclusion, which generalizes these cases, more likely to be true.") | Merge.kif 16936-16938 | |
| (subclass InductiveArgument Argument) | Merge.kif 16935-16935 | Inductive argument is a subclass of argument |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage InductiveArgument "归纳论证") | domainEnglishFormat.kif 29777-29777 | |
| (termFormat ChineseTraditionalLanguage InductiveArgument "歸納論證") | domainEnglishFormat.kif 29776-29776 | |
| (termFormat EnglishLanguage InductiveArgument "inductive argument") | domainEnglishFormat.kif 29775-29775 |
| appearance as argument number 3 |
|
|
| (partition Argument DeductiveArgument InductiveArgument) | Merge.kif 16884-16884 | Argument is exhaustively partitioned into deductive argument and inductive argument |
|
|
|