Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  conclusion

 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 结论 的 1 数量 是 争论 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16918-16918 结论 的 2 数量 是 命题 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16914-16914 结论 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16915-16915 结论 是 单值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16916-16916 结论 是 总值关系 的 instance

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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 16847-16852
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16186-16193


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