No TPTP formula. May not be expressible in strict first order. |
naics.kif 886-886 |
子屬性 鑽井石油和天然氣井 and 支持採礦活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 901-901 |
子屬性 支持煤礦開採活動 and 支持採礦活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 908-908 |
子屬性 支持金屬採礦活動 and 支持採礦活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 915-915 |
子屬性 除燃料外的非金屬礦物的支持活動 and 支持採礦活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 893-893 |
子屬性 支持石油和天然氣業務活動 and 支持採礦活動 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56167-56167 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56166-56166 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56165-56165 |
|