|
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 771-771 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7610-7610 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 765-765 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 815-815 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 810-810 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 803-803 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 791-791 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 767-767 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 802-802 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 818-818 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 773-773 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 811-811 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 788-788 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7611-7611 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 796-796 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 764-764 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 787-787 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7612-7612 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 812-812 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 786-786 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 760-760 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 759-759 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 795-795 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 798-798 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 782-782 | |
| 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