No TPTP formula. May not be expressible in strict first order. |
naics.kif 4598-4600 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9662-9662 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8718-8718 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9663-9663 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4596-4596 |
Small arms manufacturing is a subattribute of all other fabricated metal product manufacturing |