TreeView Knowledge Base Browser - OtherTransportationEquipmentManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 5960-5962
No TPTP formula. May not be expressible in strict first order.	naics.kif 5958-5958	子屬性其他運輸設備製造業 and 運輸設備製造業

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 5980-5980	子屬性 AllOtherTransportationEquipmentManufacturing and 其他運輸設備製造業
No TPTP formula. May not be expressible in strict first order.	naics.kif 5972-5972	子屬性軍用裝甲車輛坦克和坦克部件製造 and 其他運輸設備製造業
No TPTP formula. May not be expressible in strict first order.	naics.kif 5964-5964	子屬性摩托車自行車及零件製造 and 其他運輸設備製造業
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43584-43584
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43583-43583
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43582-43582