|
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 191-191 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 199-199 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 201-201 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 222-222 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 234-234 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 238-238 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 240-240 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 242-242 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 243-243 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 244-244 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 247-247 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 252-252 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 272-272 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 276-276 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 278-278 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 282-282 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 296-296 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 310-310 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 315-315 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 316-316 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 331-331 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 333-333 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 335-335 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 337-337 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 342-342 | |
| 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