|
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 287-289 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 311-313 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 216-219 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 240-244 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 284-286 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 307-310 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 203-205 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 231-232 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 141-145 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 148-151 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 139-140 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 135-136 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 229-230 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 206-210 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 247-251 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 146-147 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 314-317 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 223-224 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 194-199 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 271-271 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 200-202 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 321-322 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 178-183 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 189-193 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 276-279 | |
| 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