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 and 爭論
No TPTP formula. May not be expressible in strict first order. Merge.kif 16918-16918 域 結論, 2 and Proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16914-16914 例 結論 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16915-16915 例 結論 and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16916-16916 例 結論 and TotalValuedRelation

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