|
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 62-62 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 474-474 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 63-63 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 120-120 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 121-121 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 209-209 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 318-318 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 210-210 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 319-319 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 64-64 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 481-481 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 65-65 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 164-164 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 254-254 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 66-66 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 122-122 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 255-255 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 67-67 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 68-68 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 69-69 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 307-307 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 373-373 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 352-352 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 165-165 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 166-166 | |
| 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