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 17031-17033
(partition DeductiveArgument ValidDeductiveArgument InvalidDeductiveArgument)	Merge.kif 17030-17030	Deductive argument is exhaustively partitioned into valid deductive argument and invalid deductive argument
(subclass DeductiveArgument Argument)	Merge.kif 17029-17029	Deductive argument is a subclass of argument

appearance as argument number 2

(partition Argument DeductiveArgument InductiveArgument)	Merge.kif 17010-17010	Argument is exhaustively partitioned into deductive argument and inductive argument
(subclass Explanation DeductiveArgument)	Merge.kif 17055-17055	Explanation is a subclass of deductive argument
(subclass InvalidDeductiveArgument DeductiveArgument)	Merge.kif 17050-17050	Invalid deductive argument is a subclass of deductive argument
(subclass ValidDeductiveArgument DeductiveArgument)	Merge.kif 17035-17035	Valid deductive argument is a subclass of deductive argument
(termFormat ChineseLanguage DeductiveArgument "演绎论证")	domainEnglishFormat.kif 18848-18848	Valid deductive argument is a subclass of deductive argument
(termFormat ChineseTraditionalLanguage DeductiveArgument "演繹論證")	domainEnglishFormat.kif 18847-18847	Valid deductive argument is a subclass of deductive argument
(termFormat EnglishLanguage DeductiveArgument "deductive argument")	domainEnglishFormat.kif 18846-18846	Valid deductive argument is a subclass of deductive argument