| 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 16961-16963 | |
| (subclass InductiveArgument Argument) | Merge.kif 16960-16960 | Inductive argument is a subclass of argument |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage InductiveArgument "归纳论证") | domainEnglishFormat.kif 29771-29771 | |
| (termFormat ChineseTraditionalLanguage InductiveArgument "歸納論證") | domainEnglishFormat.kif 29770-29770 | |
| (termFormat EnglishLanguage InductiveArgument "inductive argument") | domainEnglishFormat.kif 29769-29769 |
| appearance as argument number 3 |
|
|
| (partition Argument DeductiveArgument InductiveArgument) | Merge.kif 16909-16909 | Argument is exhaustively partitioned into deductive argument and inductive argument |
|
|
|