|
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 339-339 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 413-413 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 215-215 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 242-242 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 349-349 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 350-350 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 216-216 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 107-107 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 221-221 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 322-322 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 7-7 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 321-321 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 407-407 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 8-8 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 265-265 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 198-198 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 199-199 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 9-9 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 10-10 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 160-160 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 11-11 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 12-12 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 276-276 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 13-13 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 171-171 | |
| 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