|
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 348-348 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 349-349 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 58-58 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 351-351 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 66-66 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 53-53 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 67-67 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 71-71 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 73-73 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 74-74 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 76-76 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 77-77 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 54-54 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 55-55 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 80-80 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 81-81 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 82-82 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 84-84 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 86-86 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 87-87 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 89-89 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 90-90 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 56-56 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 91-91 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 92-92 | |
| 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