No TPTP formula. May not be expressible in strict first order. |
naics.kif 2161-2161 |
AllOtherTextileProductMills est un sous-attribut de OtherTextileProductMills |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2141-2141 |
TextileBagAndCanvasMills est un sous-attribut de OtherTextileProductMills |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43566-43566 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43565-43565 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43564-43564 |
|