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	其他运输设备制造业是运输设备制造业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 5980-5980	AllOtherTransportationEquipmentManufacturing 是其他运输设备制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 5972-5972	军用装甲车辆坦克和坦克部件制造是其他运输设备制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 5964-5964	摩托车自行车及零件制造是其他运输设备制造业的 subAttribute
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