DeductiveArgument - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DeductiveArgument ChineseLanguage "这是一种推论的 Argument，即是它声称这组 premise entails 它的 conclusion。")	chinese_format.kif 3767-3768
(documentation DeductiveArgument EnglishLanguage "An Argument which has the form of a deduction, i.e. it is claimed that the set of premises entails the conclusion.")	Merge.kif 16994-16996
(partition DeductiveArgument ValidDeductiveArgument InvalidDeductiveArgument)	Merge.kif 16993-16993	Deductive argument is exhaustively partitioned into valid deductive argument and invalid deductive argument
(subclass DeductiveArgument Argument)	Merge.kif 16992-16992	Deductive argument is a subclass of argument

appearance as argument number 2

(partition Argument DeductiveArgument InductiveArgument)	Merge.kif 16973-16973	Argument is exhaustively partitioned into deductive argument and inductive argument
(subclass Explanation DeductiveArgument)	Merge.kif 17018-17018	Explanation is a subclass of deductive argument
(subclass InvalidDeductiveArgument DeductiveArgument)	Merge.kif 17013-17013	Invalid deductive argument is a subclass of deductive argument
(subclass ValidDeductiveArgument DeductiveArgument)	Merge.kif 16998-16998	Valid deductive argument is a subclass of deductive argument
(termFormat ChineseLanguage DeductiveArgument "演绎论证")	domainEnglishFormat.kif 18855-18855	Valid deductive argument is a subclass of deductive argument
(termFormat ChineseTraditionalLanguage DeductiveArgument "演繹論證")	domainEnglishFormat.kif 18854-18854	Valid deductive argument is a subclass of deductive argument
(termFormat EnglishLanguage DeductiveArgument "deductive argument")	domainEnglishFormat.kif 18853-18853	Valid deductive argument is a subclass of deductive argument