TreeView Knowledge Base Browser - AgricultureConstructionAndMiningMachineryManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 4664-4667
No TPTP formula. May not be expressible in strict first order.	naics.kif 4662-4662	子屬性農業建設和採礦機械製造業 and 機械製造業

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 4669-4669	子屬性農具製造業 and 農業建設和採礦機械製造業
No TPTP formula. May not be expressible in strict first order.	naics.kif 4692-4692	子屬性建造機械製造業 and 農業建設和採礦機械製造業
No TPTP formula. May not be expressible in strict first order.	naics.kif 4700-4700	子屬性採礦和油氣田機械製造業 and 農業建設和採礦機械製造業
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5994-5994
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5993-5993
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5992-5992