|
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 236-236 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 246-246 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 248-248 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 250-250 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 254-254 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 256-256 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 258-258 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 260-260 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 262-262 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 264-264 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 266-266 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 268-268 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 270-270 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 280-280 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 284-284 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 298-298 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 300-300 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 286-286 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 288-288 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 290-290 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 292-292 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 294-294 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 302-302 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 304-304 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 307-307 | |
| 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