TreeView Knowledge Base Browser - MasonryDrywallInsulationAndTileContractors

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 1242-1245
No TPTP formula. May not be expressible in strict first order.	naics.kif 1240-1240	子屬性砌體乾砌牆保溫和瓷磚承包商 and 特殊貿易承包商

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 1254-1254	子屬性乾牆抹灰聲學和絕緣承包商 and 砌體乾砌牆保溫和瓷磚承包商
No TPTP formula. May not be expressible in strict first order.	naics.kif 1247-1247	子屬性磚石和石材承包商 and 砌體乾砌牆保溫和瓷磚承包商
No TPTP formula. May not be expressible in strict first order.	naics.kif 1262-1262	子屬性瓷磚大理石水磨石和馬賽克承包商 and 砌體乾砌牆保溫和瓷磚承包商
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36401-36401
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36400-36400
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36399-36399