No TPTP formula. May not be expressible in strict first order. |
naics.kif 10243-10246 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5923-5923 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6302-6302 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6296-6296 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6297-6297 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6298-6298 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6300-6300 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10241-10241 |
商业摄影 是 摄影服务 的 subAttribute |