|
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 496-496 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 502-502 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 501-501 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 369-369 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 377-377 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 21-21 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 494-494 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 359-359 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 430-430 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 350-350 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 522-522 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 124-124 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 274-274 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 371-371 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 400-400 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 321-321 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 431-431 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 402-402 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 498-498 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 523-523 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 500-500 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 365-365 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 227-227 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 423-423 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 443-443 | |
| 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