|
|
  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 e' uma instancia de IndustryAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6148-6148 | MiscellaneousManufacturing e' disjunto de NonmetallicMineralProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3823-3823 | CementAndConcreteProductManufacturing e' um sub-atributo de NonmetallicMineralProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3710-3710 | ClayProductAndRefractoryManufacturing e' um sub-atributo de NonmetallicMineralProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3791-3791 | GlassAndGlassProductManufacturing e' um sub-atributo de NonmetallicMineralProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3870-3870 | LimeAndGypsumProductManufacturing e' um sub-atributo de NonmetallicMineralProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3888-3888 | OtherNonmetallicMineralProductManufacturing e' um sub-atributo de NonmetallicMineralProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40815-40815 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40814-40814 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40813-40813 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3690-3708 |
|
|
|
|