|
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 77-77 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 78-78 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 79-79 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 81-81 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 82-82 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 84-84 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 85-85 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 86-86 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 87-87 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 89-89 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 90-90 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 91-91 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 94-94 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 95-95 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 96-96 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 97-97 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 98-98 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 99-99 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 100-100 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 101-101 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 102-102 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 103-103 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 105-105 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 107-107 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 108-108 | |
| 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