No TPTP formula. May not be expressible in strict first order. |
naics.kif 3894-3894 |
磨料产品制造 是 其他非金属矿产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3901-3901 |
所有其他非金属矿产品制造 是 其他非金属矿产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43322-43322 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43321-43321 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43320-43320 |
|