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 16930-16932
(partition DeductiveArgument ValidDeductiveArgument InvalidDeductiveArgument)	Merge.kif 16929-16929	Deductive argument is exhaustively partitioned into valid deductive argument and invalid deductive argument
(subclass DeductiveArgument Argument)	Merge.kif 16928-16928	Deductive argument is a subclass of argument

appearance as argument number 2

(partition Argument DeductiveArgument InductiveArgument)	Merge.kif 16909-16909	Argument is exhaustively partitioned into deductive argument and inductive argument
(subclass Explanation DeductiveArgument)	Merge.kif 16954-16954	Explanation is a subclass of deductive argument
(subclass InvalidDeductiveArgument DeductiveArgument)	Merge.kif 16949-16949	Invalid deductive argument is a subclass of deductive argument
(subclass ValidDeductiveArgument DeductiveArgument)	Merge.kif 16934-16934	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