LumberIndustry - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8580-8580
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9392-9392
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1773-1773	木材业是行业属性的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1774-1774	林业和伐木业是木材业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1777-1777	木材胶合板木制品和木板批发商是木材业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1776-1776	木制品是木材业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1775-1775	木制品制造业是木材业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35297-35297
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35296-35296
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35295-35295