TreeView Knowledge Base Browser - TobaccoProductManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 1922-1924
No TPTP formula. May not be expressible in strict first order.	naics.kif 1920-1920	子屬性煙草製品製造業 and 煙草製造業

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 1926-1926	子屬性捲菸製造 and 煙草製品製造業
No TPTP formula. May not be expressible in strict first order.	naics.kif 1932-1932	子屬性其他煙草製品製造業 and 煙草製品製造業
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58262-58262
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58261-58261
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58260-58260