|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2936-2936 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8817-8817 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8818-8818 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8819-8819 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2071-2071 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1617-1617 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1618-1618 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4476-4476 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1364-1364 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4477-4477 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8321-8321 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8820-8820 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8822-8822 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8322-8322 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8823-8823 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8824-8824 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8825-8825 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8826-8826 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4479-4479 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8323-8323 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8827-8827 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8828-8828 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1464-1464 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6049-6049 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 209-209 | |
| 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