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 16897-16900
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16895-16895	The number 1 argument of conclusion is an instance of argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16896-16896	The number 2 argument of conclusion is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16892-16892	conclusion is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16893-16893	conclusion is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16894-16894	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 16842-16851

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 16825-16830	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 16187-16194	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