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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16896-16901
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16214-16221


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