|
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 213-213 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 214-214 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 216-216 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 219-219 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 221-221 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 222-222 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 223-223 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 224-224 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 226-226 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 227-227 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 228-228 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 229-229 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 232-232 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 234-234 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 236-236 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 239-239 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 241-241 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 253-253 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 256-256 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 259-259 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 260-260 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 263-263 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 265-265 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 268-268 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 270-270 | |
| 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