|
| 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 8934-8934 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8357-8357 | |
| 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 6046-6046 | |
| 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 6043-6043 | |
| 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 6048-6048 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6044-6044 | |
| 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 10349-10349 | |
| 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 8319-8319 | |
| 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 10352-10352 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10353-10353 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10354-10354 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2741-2741 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9870-9870 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10355-10355 | |
| 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