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	子屬性採石和採石 and 非金屬礦物開采和採石

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 797-797	子屬性壓碎和破碎的花崗岩採礦和採石 and 採石和採石
No TPTP formula. May not be expressible in strict first order.	naics.kif 790-790	子屬性壓碎和破碎的石灰石採礦和採石 and 採石和採石
No TPTP formula. May not be expressible in strict first order.	naics.kif 783-783	子屬性尺寸採礦和採石 and 採石和採石
No TPTP formula. May not be expressible in strict first order.	naics.kif 804-804	子屬性其他破碎和損壞的石材開采和採石 and 採石和採石
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