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 16905-16907
(partition DeductiveArgument ValidDeductiveArgument InvalidDeductiveArgument)	Merge.kif 16904-16904	Deductive argument is exhaustively partitioned into valid deductive argument and invalid deductive argument
(subclass DeductiveArgument Argument)	Merge.kif 16903-16903	Deductive argument is a subclass of argument

appearance as argument number 2

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