|
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 218-218 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 221-221 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 222-222 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 225-225 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 227-227 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 230-230 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 232-232 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 236-236 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 239-239 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 241-241 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 243-243 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 244-244 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 245-245 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 250-250 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 251-251 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 252-252 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 258-258 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 259-259 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 260-260 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 263-263 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 264-264 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 265-265 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 267-267 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 268-268 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 285-285 | |
| 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