TreeView Knowledge Base Browser - conclusion

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 16968-16971
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16966-16966	The number 1 argument of conclusion is an instance of argument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16967-16967	The number 2 argument of conclusion is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16963-16963	conclusion is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16964-16964	conclusion is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16965-16965	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 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

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16896-16901	If an argument is an instance of argument, then there exist a formula and another argument such that the premises of argument the argument is equal to the formula 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 16214-16221	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 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