No TPTP formula. May not be expressible in strict first order. |
naics.kif 3389-3391 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8321-8321 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8820-8820 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8822-8822 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3387-3387 |
Adhesive manufacturing is a subattribute of paint coating and adhesive manufacturing |