No TPTP formula. May not be expressible in strict first order. |
naics.kif 2244-2244 |
外衣针织厂 是 其他服装针织厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2251-2251 |
内衣和睡衣针织厂 是 其他服装针织厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42750-42750 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42749-42749 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42748-42748 |
|