No TPTP formula. May not be expressible in strict first order. |
naics.kif 4784-4784 |
所有其他工业机械制造业 是 其他工业机械制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4770-4770 |
食品机械制造 是 其他工业机械制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4749-4749 |
造纸工业机械制造业 是 其他工业机械制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4763-4763 |
印刷机械设备制造业 是 其他工业机械制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4777-4777 |
半导体机械制造 是 其他工业机械制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4756-4756 |
纺织机械制造业 是 其他工业机械制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43124-43124 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43123-43123 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43122-43122 |
|