|
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 215-215 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 109-109 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 275-275 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 73-73 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 415-415 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 263-263 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 274-274 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 237-237 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 491-491 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 204-204 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 179-179 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 442-442 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 350-350 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 484-484 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 197-197 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 174-174 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 221-221 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 54-54 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 441-441 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 159-159 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 507-507 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 223-223 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 122-122 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 88-88 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 177-177 | |
| 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