No TPTP formula. May not be expressible in strict first order. |
naics.kif 2038-2038 |
OtherKnitFabricAndLaceMills est un sous-attribut de KnitFabricMills |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2032-2032 |
WeftKnitFabricMills est un sous-attribut de KnitFabricMills |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32713-32713 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32712-32712 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32711-32711 |
|