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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - cb
cb

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. relations-cb.txt 65-65
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 68-68
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 69-69
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 75-75
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 99-99
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 55-55
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 61-61
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 64-64
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 66-66
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 70-70
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 71-71
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 72-72
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 73-73
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 74-74
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 76-76
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 81-81
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 83-83
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 86-86
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 87-87
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 88-88
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 91-91
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 96-96
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 98-98
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 100-100
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 104-104

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners