No TPTP formula. May not be expressible in strict first order. |
naics.kif 3219-3222 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10044-10044 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11119-11119 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11121-11121 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11123-11123 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11125-11125 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11118-11118 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11126-11126 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3217-3217 |
胶和木材化学制造 是 其他基本有机化学品制造业 的 subAttribute |