|
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 453-453 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 480-480 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 412-412 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 296-296 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 398-398 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 295-295 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 38-38 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 32-32 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 26-26 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 78-78 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 420-420 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 268-268 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 279-279 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 497-497 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 209-209 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 184-184 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 447-447 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 202-202 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 226-226 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 446-446 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 513-513 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 127-127 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 93-93 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 182-182 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 428-428 | |
| 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