![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3939-3941 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3937-3937 | PrimaryMetalManufacturing est une instance de IndustryAttribute |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6147-6147 | MiscellaneousManufacturing est disjoint de PrimaryMetalManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4016-4016 | AluminaAndAluminumProductionAndProcessing est un sous-attribut de PrimaryMetalManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4146-4146 | Foundries est un sous-attribut de PrimaryMetalManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3961-3961 | IronAndSteelMillsAndFerroalloyManufacturing est un sous-attribut de PrimaryMetalManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4063-4063 | NonferrousMetalExceptAluminumProductionAndProcessing est un sous-attribut de PrimaryMetalManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3982-3982 | SteelProductManufacturingFromPurchasedSteel est un sous-attribut de PrimaryMetalManufacturing |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47318-47318 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47317-47317 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47316-47316 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3943-3959 |
|
![]() |
![]() |