No TPTP formula. May not be expressible in strict first order. |
naics.kif 4365-4365 |
金属门窗制造 是 装饰和建筑金属制品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4379-4379 |
装饰和建筑金属加工制造 是 装饰和建筑金属制品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4372-4372 |
钣金加工制造 是 装饰和建筑金属制品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42600-42600 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42599-42599 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42598-42598 |
|