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 |
Tortilla manufacturing is a subattribute of bakeries and tortilla manufacturing |