No TPTP formula. May not be expressible in strict first order. |
naics.kif 2154-2154 |
CanvasAndRelatedProductMills e' um sub-atributo de TextileBagAndCanvasMills |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2147-2147 |
TextileBagMills e' um sub-atributo de TextileBagAndCanvasMills |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57718-57718 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57717-57717 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57716-57716 |
|