No TPTP formula. May not be expressible in strict first order. |
naics.kif 2006-2006 |
窄幅面料厂 是 窄幅面料厂和飞梭机器刺绣 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2013-2013 |
希夫利机绣 是 窄幅面料厂和飞梭机器刺绣 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39741-39741 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39740-39740 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39739-39739 |
|