|
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 799-799 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 793-793 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 809-809 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 768-768 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 801-801 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 775-775 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 813-813 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 758-758 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 806-806 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 820-820 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 772-772 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 766-766 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 814-814 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 751-751 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 817-817 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 790-790 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 807-807 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 792-792 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 761-761 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 756-756 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 781-781 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 769-769 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 752-752 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 805-805 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 789-789 | |
| 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