No TPTP formula. May not be expressible in strict first order. |
naics.kif 745-745 |
子屬性 銅礦和鎳礦開採 and 銅鎳鉛鋅開採 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 738-738 |
子屬性 鉛礦石和鋅礦開採 and 銅鎳鉛鋅開採 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17250-17250 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17249-17249 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17248-17248 |
|