No TPTP formula. May not be expressible in strict first order. |
naics.kif 3878-3880 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10098-10098 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11353-11353 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11354-11354 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11355-11355 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11356-11356 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3876-3876 |
石灰制造 是 石灰和石膏产品制造 的 subAttribute |