|
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 870-870 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 876-876 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 866-866 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 873-873 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 842-842 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 844-844 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 880-880 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 869-869 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 868-868 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 833-833 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 832-832 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 850-850 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 853-853 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 874-874 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 882-882 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 834-834 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 851-851 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 845-845 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 828-828 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 841-841 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 827-827 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 823-823 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 836-836 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 835-835 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 831-831 | |
| 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