No TPTP formula. May not be expressible in strict first order. |
naics.kif 732-732 |
子屬性 銅鎳鉛鋅開採 and 金屬礦開採 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 714-714 |
子屬性 金礦和銀礦開採 and 金屬礦開採 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 708-708 |
子屬性 鐵礦開採 and 金屬礦開採 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 751-751 |
子屬性 其他金屬礦開採 and 金屬礦開採 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37283-37283 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37282-37282 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37281-37281 |
|