No TPTP formula. May not be expressible in strict first order. |
naics.kif 5471-5471 |
商业工业和机构电气照明灯具制造业 是 照明灯具制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5480-5480 |
其他照明设备制造业 是 照明灯具制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5464-5464 |
住宅电灯具制造 是 照明灯具制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34367-34367 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34366-34366 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34365-34365 |
|