|
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 875-875 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 862-862 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 856-856 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 824-824 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 830-830 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 849-849 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 859-859 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 861-861 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 838-838 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 881-881 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 864-864 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 865-865 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4862-4862 | Opium poppy is a subclass of poppy |
|
|
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