|
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 380-380 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 168-168 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 92-92 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 355-355 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 264-264 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 57-57 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 193-193 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 40-40 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 464-464 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 386-386 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 377-377 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 382-382 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 414-414 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 406-406 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 128-128 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 358-358 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 80-80 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 36-36 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 49-49 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 444-444 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 440-440 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 365-365 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 478-478 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 82-82 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 51-51 | |
| 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