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 57730-57730 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57729-57729 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57728-57728 |
|