|
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 104-104 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 101-101 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 103-103 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 102-102 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 379-379 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 346-346 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 380-380 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 418-418 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 335-335 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 337-337 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 182-182 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 181-181 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 180-180 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 341-341 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 340-340 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 381-381 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 421-421 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 417-417 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 225-225 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 222-222 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 365-365 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 342-342 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 382-382 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 217-217 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 416-416 | |
| 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