|
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 463-463 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 421-421 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 147-147 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 422-422 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 148-148 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 267-267 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 295-295 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 294-294 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 386-386 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 482-482 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 467-467 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 423-423 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 231-231 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 232-232 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 272-272 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 424-424 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 268-268 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 266-266 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 460-460 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 425-425 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 291-291 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 392-392 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 297-297 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 384-384 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 426-426 | |
| 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