|
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 21-21 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 228-228 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 229-229 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 324-324 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 227-227 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 218-218 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 230-230 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 439-439 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 235-235 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 20-20 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 348-348 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 288-288 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 260-260 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 352-352 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 359-359 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 203-203 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 216-216 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 202-202 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 110-110 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 231-231 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 254-254 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 342-342 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 43-43 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 381-381 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 379-379 | |
| 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