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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - InductiveArgument

appearance as argument number 1

(documentation InductiveArgument ChineseLanguage "这是一种归纳的 Argument,即是它声称一组特定 的案例导致它的 conclusion,这个论据把这些案例概括,说成更有可能是真的论点。") Merge.kif 17170-17171
(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 17167-17169
(subclass InductiveArgument Argument) Merge.kif 17166-17166

appearance as argument number 2

(termFormat EnglishLanguage InductiveArgument "inductive argument") domainEnglishFormat.kif 5374-5374

appearance as argument number 3

(partition Argument DeductiveArgument InductiveArgument) Merge.kif 17105-17105

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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners