TreeView Knowledge Base Browser - PowerDrivenHandtoolManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 5063-5066
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11662-11662
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11661-11661
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11658-11658
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11657-11657
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10201-10201
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11660-11660
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11659-11659
No TPTP formula. May not be expressible in strict first order.	naics.kif 5061-5061	子屬性動力手動工具製造 and 所有其他通用機械製造

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47020-47020
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47019-47019
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47018-47018