TreeView Knowledge Base Browser - ValidDeductiveArgument

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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 16910-16911
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16909-16909	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 16904-16904	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 61192-61192
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61191-61191
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61190-61190

antecedent

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

Merge.kif 16913-16922

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