|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8831-8831 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8832-8832 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8833-8833 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5842-5842 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6051-6051 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6052-6052 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6053-6053 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6054-6054 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6055-6055 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6056-6056 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6058-6058 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8325-8325 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10368-10368 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10369-10369 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2433-2433 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2537-2537 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4483-4483 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5843-5843 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2076-2076 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2078-2078 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4485-4485 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8839-8839 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8326-8326 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8836-8836 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8837-8837 | |
| 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