|
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 152-152 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 149-149 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 151-151 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 150-150 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 427-427 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 394-394 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 428-428 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 466-466 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 383-383 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 385-385 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 230-230 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 229-229 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 228-228 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 389-389 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 388-388 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 429-429 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 469-469 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 465-465 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 273-273 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 270-270 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 413-413 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 390-390 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 430-430 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 265-265 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 464-464 | |
| 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