No TPTP formula. May not be expressible in strict first order. |
naics.kif 10222-10226 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10112-10112 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11404-11404 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11400-11400 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11399-11399 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11402-11402 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10220-10220 |
Marketing research and public opinion polling is a subattribute of other professional scientific and technical services |