|
|
   InductiveArgument
|
|
|
| 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 16835-16837 | |
| (subclass InductiveArgument Argument) | Merge.kif 16834-16834 | Inductive argument is a subclass of argument |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage InductiveArgument "归纳论证") | domainEnglishFormat.kif 29749-29749 | |
| (termFormat ChineseTraditionalLanguage InductiveArgument "歸納論證") | domainEnglishFormat.kif 29748-29748 | |
| (termFormat EnglishLanguage InductiveArgument "inductive argument") | domainEnglishFormat.kif 29747-29747 |
| appearance as argument number 3 |
|
|
| (partition Argument DeductiveArgument InductiveArgument) | Merge.kif 16783-16783 | Argument is exhaustively partitioned into deductive argument and inductive argument |
|
|
|