TreeView Knowledge Base Browser - CarpentryAndFloorContractors

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 1271-1273
No TPTP formula. May not be expressible in strict first order.	naics.kif 1269-1269	木工和地板承包商是特殊贸易承包商的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 1275-1275	木工承包商是木工和地板承包商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 1281-1281	地板铺设和其他地板承包商是木工和地板承包商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13314-13314
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13313-13313
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13312-13312