No TPTP formula. May not be expressible in strict first order. |
naics.kif 2218-2218 |
针织品和袜子厂 是 服装针织厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2238-2238 |
其他服装针织厂 是 服装针织厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7974-7974 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7973-7973 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7972-7972 |
|