No TPTP formula. May not be expressible in strict first order. |
naics.kif 5810-5810 |
子屬性 其他汽車電氣電子設備製造業 and 汽車電氣電子設備製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5803-5803 |
子屬性 車輛照明設備製造業 and 汽車電氣電子設備製造業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38897-38897 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38896-38896 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38895-38895 |
|