|
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 237-237 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 238-238 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 240-240 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 242-242 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 246-246 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 247-247 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 248-248 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 249-249 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 253-253 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 254-254 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 255-255 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 256-256 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 257-257 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 261-261 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 262-262 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 266-266 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 269-269 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 270-270 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 272-272 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 273-273 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 274-274 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 275-275 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 276-276 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 277-277 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 278-278 | |
| 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