No TPTP formula. May not be expressible in strict first order. |
naics.kif 5515-5515 |
主要家电制造业 是 家电制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5493-5493 |
小家电制造业 是 家电制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28731-28731 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28730-28730 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28729-28729 |
|