|
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 321-321 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 458-458 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 371-371 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 376-376 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 474-474 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 265-265 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 403-403 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 141-141 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 410-410 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 328-328 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 448-448 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 475-475 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 407-407 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 291-291 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 393-393 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 59-59 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 290-290 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 281-281 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 305-305 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 33-33 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 28-28 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 390-390 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 270-270 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 271-271 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 23-23 | |
| 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