TreeView Knowledge Base Browser - CementAndConcreteProductManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 3825-3827
No TPTP formula. May not be expressible in strict first order.	naics.kif 3823-3823	水泥和混凝土制品制造是非金属矿产品制造的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 3829-3829	水泥制造业是水泥和混凝土制品制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 3842-3842	混凝土管砖和砌块制造是水泥和混凝土制品制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 3862-3862	其他具体产品制造是水泥和混凝土制品制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 3835-3835	预拌混凝土制造是水泥和混凝土制品制造的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13728-13728
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13727-13727
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13726-13726