No TPTP formula. May not be expressible in strict first order. |
naics.kif 4001-4001 |
RolledSteelShapeManufacturing est un sous-attribut de RollingAndDrawingOfPurchasedSteel |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4009-4009 |
SteelWireDrawing est un sous-attribut de RollingAndDrawingOfPurchasedSteel |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50288-50288 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50287-50287 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50286-50286 |
|