![]() |
![]() ![]()
|
![]() |
|
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 est un sous-attribut de OtherFabricatedMetalProductManufacturing |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4630-4630 | AllOtherMiscellaneousFabricatedMetalProductManufacturing est un sous-attribut de AllOtherFabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4589-4589 | AmmunitionExceptSmallArmsManufacturing est un sous-attribut de AllOtherFabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4575-4575 | BallAndRollerBearingManufacturing est un sous-attribut de AllOtherFabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4623-4623 | EnameledIronAndMetalSanitaryWareManufacturing est un sous-attribut de AllOtherFabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4609-4609 | FabricatedPipeAndPipeFittingManufacturing est un sous-attribut de AllOtherFabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4616-4616 | IndustrialPatternManufacturing est un sous-attribut de AllOtherFabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4602-4602 | OtherOrdnanceAndAccessoriesManufacturing est un sous-attribut de AllOtherFabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4582-4582 | SmallArmsAmmunitionManufacturing est un sous-attribut de AllOtherFabricatedMetalProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4596-4596 | SmallArmsManufacturing est un sous-attribut 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 |
![]() |
![]() |