No TPTP formula. May not be expressible in strict first order. |
naics.kif 3676-3676 |
所有其他橡胶制品生产 是 其他橡胶制品生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3669-3669 |
机械用橡胶制品制造 是 其他橡胶制品生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43428-43428 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43427-43427 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43426-43426 |
|