|
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 331-331 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 335-335 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 329-329 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 342-342 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1039-1039 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8939-8939 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8359-8359 | |
| 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 6044-6044 | |
| 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 6049-6049 | |
| 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 10371-10371 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10370-10370 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10372-10372 | |
| 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 9887-9887 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10373-10373 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10374-10374 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10375-10375 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2742-2742 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9888-9888 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10376-10376 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2937-2937 | |
| 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