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 |
营销研究和民意调查 是 其他专业的科学技术服务 的 subAttribute |