Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InductiveArgument
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 16715-16717
(subclass InductiveArgument Argument) Merge.kif 16714-16714 Inductive argument is a subclass of argument

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage InductiveArgument "归纳论证") domainEnglishFormat.kif 29725-29725
(termFormat ChineseTraditionalLanguage InductiveArgument "歸納論證") domainEnglishFormat.kif 29724-29724
(termFormat EnglishLanguage InductiveArgument "inductive argument") domainEnglishFormat.kif 29723-29723

appearance as argument number 3
-------------------------


(partition Argument DeductiveArgument InductiveArgument) Merge.kif 16663-16663 Argument is exhaustively partitioned into deductive argument and inductive argument


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners