No TPTP formula. May not be expressible in strict first order. |
naics.kif 6208-6211 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10171-10171 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11559-11559 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11560-11560 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6206-6206 |
Ophthalmic goods manufacturing is a subattribute of medical equipment and supplies manufacturing |