TreeView Knowledge Base Browser - StoneMiningAndQuarrying

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 779-781
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1809-1809	岩石是采石和采石的 industry 产品类别
No TPTP formula. May not be expressible in strict first order.	naics.kif 777-777	采石和采石是非金属矿物开采和采石的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 797-797	压碎和破碎的花岗岩采矿和采石是采石和采石的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 790-790	压碎和破碎的石灰石采矿和采石是采石和采石的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 783-783	尺寸采矿和采石是采石和采石的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 804-804	其他破碎和损坏的石材开采和采石是采石和采石的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55458-55458
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55457-55457
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55456-55456