No TPTP formula. May not be expressible in strict first order. |
naics.kif 764-764 |
子屬性 所有其他金屬礦開採 and 其他金屬礦開採 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 757-757 |
子屬性 鈾鐳釩礦開採 and 其他金屬礦開採 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43218-43218 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43217-43217 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43216-43216 |
|