|
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 424-424 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 461-461 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 168-168 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 136-136 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 404-404 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 327-327 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 283-283 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 366-366 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 338-338 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 399-399 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 527-527 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 379-379 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 375-375 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 332-332 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 508-508 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 292-292 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 507-507 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 421-421 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 326-326 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 376-376 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 381-381 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 270-270 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 408-408 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 415-415 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 333-333 | |
| 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