|
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 14-14 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 426-426 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 15-15 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 72-72 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 73-73 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 161-161 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 270-270 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 162-162 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 271-271 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 16-16 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 433-433 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 17-17 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 116-116 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 206-206 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 18-18 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 74-74 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 207-207 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 19-19 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 20-20 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 21-21 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 259-259 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 325-325 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 304-304 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 117-117 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 118-118 | |
| 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