conclusion - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - conclusion

conclusion

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3781-3783
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16919-16922
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16917-16917	The number 1 argument of conclusion is an instance of argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16918-16918	The number 2 argument of conclusion is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16914-16914	conclusion is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16915-16915	conclusion is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16916-16916	conclusion is an instance of total valued relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 786-786
No TPTP formula. May not be expressible in strict first order.	english_format.kif 787-787
No TPTP formula. May not be expressible in strict first order.	french_format.kif 474-474
No TPTP formula. May not be expressible in strict first order.	english_format.kif 788-788
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 426-426
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 496-496
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 787-787
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16469-16469
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16468-16468

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

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16847-16852	If an argument is an instance of argument, then there exist a proposition and another argument such that the premises of argument the argument is equal to the proposition and the conclusion of argument the other argument is the argument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16186-16193	If a proposition is an instance of legal opinion, then there exist a process, a content bearing physical and an argument such that the process is an instance of legal decision and the content bearing physical is a result of the process and the content bearing physical contains information the argument and the conclusion of argument the argument is the proposition

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

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