|
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 330-330 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 334-334 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 328-328 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 341-341 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1038-1038 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8933-8933 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8356-8356 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1279-1279 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6045-6045 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6041-6041 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6042-6042 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6046-6046 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6047-6047 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6043-6043 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10348-10348 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10347-10347 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10349-10349 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8318-8318 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9868-9868 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10350-10350 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10351-10351 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10352-10352 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2740-2740 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9869-9869 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10353-10353 | |
| 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