TreeView Knowledge Base Browser - AutomotiveMechanicalAndElectricalRepairAndMaintenance

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11730-11733
No TPTP formula. May not be expressible in strict first order.	naics.kif 11728-11728	子屬性汽車機電維修 and 汽車維修和保養

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11742-11742	子屬性汽車排氣系統維修 and 汽車機電維修
No TPTP formula. May not be expressible in strict first order.	naics.kif 11749-11749	子屬性汽車變速箱維修 and 汽車機電維修
No TPTP formula. May not be expressible in strict first order.	naics.kif 11735-11735	子屬性一般汽車維修 and 汽車機電維修
No TPTP formula. May not be expressible in strict first order.	naics.kif 11756-11756	子屬性其他汽車機電維修 and 汽車機電維修
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9264-9264
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9263-9263
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9262-9262