TreeView Knowledge Base Browser - TrussManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 2631-2633
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8768-8768
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9775-9775
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9776-9776
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9779-9779
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9780-9780
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9781-9781
No TPTP formula. May not be expressible in strict first order.	naics.kif 2629-2629	子屬性桁架製造 and 膠合板和工程木製品製造

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59344-59344
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59343-59343
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59342-59342