No TPTP formula. May not be expressible in strict first order. |
naics.kif 6148-6148 |
杂项制造业 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3823-3823 |
水泥和混凝土制品制造 是 非金属矿产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3710-3710 |
粘土产品和耐火材料制造 是 非金属矿产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3791-3791 |
玻璃和玻璃制品生产 是 非金属矿产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3870-3870 |
石灰和石膏产品制造 是 非金属矿产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3888-3888 |
其他非金属矿产品制造 是 非金属矿产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40815-40815 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40814-40814 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40813-40813 |
|