|
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 78-81 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 72-74 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 92-93 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 75-77 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 63-67 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 40-48 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 49-52 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 128-130 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 53-54 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 82-86 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 87-91 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 115-116 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 125-127 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 21-23 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 31-34 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 17-20 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 24-27 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 184-188 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 256-258 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 168-171 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 94-96 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 175-177 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 172-174 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 55-57 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 58-59 | |
| 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