|
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 499-499 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 524-524 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 258-258 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 53-53 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 485-485 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 35-35 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 34-34 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 380-380 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 67-67 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 503-503 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 487-487 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 187-187 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 427-427 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 356-356 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 229-229 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 201-201 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 291-291 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 24-24 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 233-233 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 232-232 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 444-444 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 240-240 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 23-23 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 353-353 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 293-293 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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