No TPTP formula. May not be expressible in strict first order. |
naics.kif 670-670 |
子屬性 採礦除石油和天然氣 and 礦業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 650-650 |
子屬性 石油和天然氣開採 and 礦業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 880-880 |
子屬性 支持採礦活動 and 礦業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37895-37895 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37894-37894 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37893-37893 |
|