![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4571-4573 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4569-4569 | AllOtherFabricatedMetalProductManufacturing e' um sub-atributo de OtherFabricatedMetalProductManufacturing |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4630-4630 | AllOtherMiscellaneousFabricatedMetalProductManufacturing e' um sub-atributo de AllOtherFabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4589-4589 | AmmunitionExceptSmallArmsManufacturing e' um sub-atributo de AllOtherFabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4575-4575 | BallAndRollerBearingManufacturing e' um sub-atributo de AllOtherFabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4623-4623 | EnameledIronAndMetalSanitaryWareManufacturing e' um sub-atributo de AllOtherFabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4609-4609 | FabricatedPipeAndPipeFittingManufacturing e' um sub-atributo de AllOtherFabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4616-4616 | IndustrialPatternManufacturing e' um sub-atributo de AllOtherFabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4602-4602 | OtherOrdnanceAndAccessoriesManufacturing e' um sub-atributo de AllOtherFabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4582-4582 | SmallArmsAmmunitionManufacturing e' um sub-atributo de AllOtherFabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4596-4596 | SmallArmsManufacturing e' um sub-atributo de AllOtherFabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6630-6630 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6629-6629 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6628-6628 |
![]() |
![]() |