No TPTP formula. May not be expressible in strict first order. |
naics.kif 2154-2154 |
CanvasAndRelatedProductMills est un sous-attribut de TextileBagAndCanvasMills |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2147-2147 |
TextileBagMills est un sous-attribut de TextileBagAndCanvasMills |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57716-57716 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57715-57715 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57714-57714 |
|