|
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 48-48 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 295-295 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 479-479 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 127-127 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 154-154 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 102-102 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 30-30 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 32-32 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 375-375 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 62-62 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 497-497 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 481-481 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 182-182 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 422-422 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 351-351 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 224-224 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 126-126 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 79-79 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 133-133 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 98-98 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 471-471 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 283-283 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 212-212 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 196-196 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 286-286 | |
| 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