No TPTP formula. May not be expressible in strict first order. |
naics.kif 2218-2218 |
HosieryAndSockMills est un sous-attribut de ApparelKnittingMills |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2238-2238 |
OtherApparelKnittingMills est un sous-attribut de ApparelKnittingMills |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7974-7974 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7973-7973 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7972-7972 |
|