| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 461-461 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 151-151 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 458-458 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 462-462 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 464-464 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 466-466 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 213-213 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 152-152 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 287-287 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 528-528 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 324-324 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 468-468 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 321-321 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 469-469 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 538-538 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 298-298 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 471-471 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 438-438 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 460-460 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 209-209 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 364-364 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 288-288 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 530-530 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 472-472 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 153-153 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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