MotorVehiclePartsManufacturing Lobster
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5770-5772 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1813-1813 | 子屬性 汽車零部件製造業 and 汽車工業 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5768-5768 | 子屬性 汽車零部件製造業 and 運輸設備製造業 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5828-5828 | 子屬性 機動車煞車系統製造 and 汽車零部件製造業 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5796-5796 | 子屬性 汽車電氣電子設備製造業 and 汽車零部件製造業 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5774-5774 | 子屬性 汽車汽油發動機和發動機零件製造 and 汽車零部件製造業 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5851-5851 | 子屬性 汽車金屬沖壓 and 汽車零部件製造業 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5843-5843 | 子屬性 汽車座椅和內飾製造 and 汽車零部件製造業 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5819-5819 | 子屬性 除彈簧製造外的機動車轉向和懸架部件 and 汽車零部件製造業 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5835-5835 | 子屬性 機動車變速器和動力傳動系零件製造 and 汽車零部件製造業 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5858-5858 | 子屬性 其他汽車零部件製造業 and 汽車零部件製造業 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38925-38925 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38924-38924 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38923-38923 |