|
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 437-437 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 479-479 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 535-535 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 426-426 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 428-428 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 250-250 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 249-249 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 248-248 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 432-432 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 431-431 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 483-483 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 539-539 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 533-533 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 300-300 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 297-297 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 457-457 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 433-433 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 487-487 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 367-367 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 292-292 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 532-532 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 366-366 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 434-434 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 214-214 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 504-504 | |
| 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