No TPTP formula. May not be expressible in strict first order. |
naics.kif 1738-1740 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8762-8762 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9743-9743 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9744-9744 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1736-1736 |
TortillaManufacturing est un sous-attribut de BakeriesAndTortillaManufacturing |