|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5839-5839 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4481-4481 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 210-210 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9871-9871 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10356-10356 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10357-10357 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10358-10358 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10359-10359 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10360-10360 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10361-10361 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2937-2937 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3389-3389 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3292-3292 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9872-9872 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10363-10363 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10364-10364 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10367-10367 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10366-10366 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9873-9873 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1020-1020 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5841-5841 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6050-6050 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5697-5697 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8829-8829 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8830-8830 | |
| 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