|
|
  NonmetallicMineralProductManufacturing
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3686-3688 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3684-3684 | NonmetallicMineralProductManufacturing est une instance de IndustryAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6148-6148 | MiscellaneousManufacturing est disjoint de NonmetallicMineralProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3823-3823 | CementAndConcreteProductManufacturing est un sous-attribut de NonmetallicMineralProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3710-3710 | ClayProductAndRefractoryManufacturing est un sous-attribut de NonmetallicMineralProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3791-3791 | GlassAndGlassProductManufacturing est un sous-attribut de NonmetallicMineralProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3870-3870 | LimeAndGypsumProductManufacturing est un sous-attribut de NonmetallicMineralProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3888-3888 | OtherNonmetallicMineralProductManufacturing est un sous-attribut de NonmetallicMineralProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40817-40817 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40816-40816 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40815-40815 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3690-3708 |
|
|
|
|