|
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 166-166 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 167-167 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 168-168 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 169-169 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 171-171 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 172-172 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 175-175 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 176-176 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 178-178 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 181-181 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 183-183 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 184-184 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 185-185 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 186-186 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 187-187 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 188-188 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 189-189 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 190-190 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 191-191 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 194-194 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 196-196 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 198-198 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 201-201 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 203-203 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 215-215 | |
| 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