No TPTP formula. May not be expressible in strict first order. |
naics.kif 2109-2109 |
CarpetAndRugMills e' um sub-atributo de TextileFurnishingsMills |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2115-2115 |
CurtainAndLinenMills e' um sub-atributo de TextileFurnishingsMills |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57728-57728 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57727-57727 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57726-57726 |
|