No TPTP formula. May not be expressible in strict first order. |
naics.kif 2244-2244 |
OuterwearKnittingMills est un sous-attribut de OtherApparelKnittingMills |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2251-2251 |
UnderwearAndNightwearKnittingMills est un sous-attribut de OtherApparelKnittingMills |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42752-42752 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42751-42751 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42750-42750 |
|