No TPTP formula. May not be expressible in strict first order. |
naics.kif 4001-4001 |
RolledSteelShapeManufacturing e' um sub-atributo de RollingAndDrawingOfPurchasedSteel |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4009-4009 |
SteelWireDrawing e' um sub-atributo de RollingAndDrawingOfPurchasedSteel |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50290-50290 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50289-50289 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50288-50288 |
|