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 17009-17011
(partition DeductiveArgument ValidDeductiveArgument InvalidDeductiveArgument)	Merge.kif 17008-17008	Deductive argument is exhaustively partitioned into valid deductive argument and invalid deductive argument
(subclass DeductiveArgument Argument)	Merge.kif 17007-17007	Deductive argument is a subclass of argument

appearance as argument number 2

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