No TPTP formula. May not be expressible in strict first order. |
naics.kif 2161-2161 |
AllOtherTextileProductMills e' um sub-atributo de OtherTextileProductMills |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2141-2141 |
TextileBagAndCanvasMills e' um sub-atributo de OtherTextileProductMills |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43568-43568 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43567-43567 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43566-43566 |
|