|
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 33-33 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 518-518 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 22-22 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 509-509 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 213-213 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 495-495 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 183-183 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 150-150 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 241-241 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 441-441 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 57-57 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 243-243 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 251-251 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 506-506 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 25-25 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 28-28 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 456-456 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 505-505 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 79-79 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 129-129 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 416-416 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 260-260 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 257-257 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 249-249 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 27-27 | |
| 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