No TPTP formula. May not be expressible in strict first order. |
naics.kif 3929-3929 |
所有其他杂项非金属矿产品制造 是 所有其他非金属矿产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3908-3908 |
切割石材和石材产品制造 是 所有其他非金属矿产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3915-3915 |
地面或经过处理的矿物和土壤制造 是 所有其他非金属矿产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3923-3923 |
矿棉制造 是 所有其他非金属矿产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6834-6834 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6833-6833 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6832-6832 |
|