TreeView Knowledge Base Browser - LimeAndGypsumProductManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 3872-3874
No TPTP formula. May not be expressible in strict first order.	naics.kif 3870-3870	子屬性石灰和石膏產品製造 and 非金屬礦產品製造

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 3882-3882	子屬性石膏產品製造 and 石灰和石膏產品製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 3876-3876	子屬性石灰製造 and 石灰和石膏產品製造
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34433-34433
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34432-34432
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34431-34431