No TPTP formula. May not be expressible in strict first order. |
naics.kif 4077-4077 |
子屬性 初級冶煉和精煉銅 and 有色金屬除鋁冶煉和精煉外 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4084-4084 |
子屬性 除銅和鋁外的有色金屬的初級冶煉和精煉 and 有色金屬除鋁冶煉和精煉外 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40749-40749 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40748-40748 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40747-40747 |
|