|
|
   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 16749-16751 | |
| (subclass InductiveArgument Argument) | Merge.kif 16748-16748 | Inductive argument is a subclass of argument |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage InductiveArgument "归纳论证") | domainEnglishFormat.kif 29752-29752 | |
| (termFormat ChineseTraditionalLanguage InductiveArgument "歸納論證") | domainEnglishFormat.kif 29751-29751 | |
| (termFormat EnglishLanguage InductiveArgument "inductive argument") | domainEnglishFormat.kif 29750-29750 |
| appearance as argument number 3 |
|
|
| (partition Argument DeductiveArgument InductiveArgument) | Merge.kif 16697-16697 | Argument is exhaustively partitioned into deductive argument and inductive argument |
|
|
|