TreeView Knowledge Base Browser - ValidDeductiveArgument

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

ValidDeductiveArgument

Sigma KEE - ValidDeductiveArgument

ValidDeductiveArgument(valid deductive argument)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3769-3770
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16861-16862
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16860-16860	Valid deductive argument is a subclass of deductive argument

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16855-16855	Deductive argument is exhaustively partitioned into valid deductive argument and invalid deductive argument
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61190-61190
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61189-61189
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61188-61188

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 16864-16873

If an argument is an instance of valid deductive argument and a formula is equal to the premises of argument the argument and the conclusion of argument another formula is the argument,
then there exist a content bearing physical and another content bearing physical such that the content bearing physical contains information the formula and the other content bearing physical contains information the other formula and the formula entails the other formula

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners