![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2816-2819 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2814-2814 | PaperBagAndCoatedAndTreatedPaperManufacturing e' um sub-atributo de ConvertedPaperProductManufacturing |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2821-2821 | CoatedAndLaminatedPackagingPaperAndPlasticsFilmManufacturing e' um sub-atributo de PaperBagAndCoatedAndTreatedPaperManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2831-2831 | CoatedAndLaminatedPaperManufacturing e' um sub-atributo de PaperBagAndCoatedAndTreatedPaperManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2852-2852 | LaminatedAluminumFoilManufacturingForFlexiblePackagingUses e' um sub-atributo de PaperBagAndCoatedAndTreatedPaperManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2838-2838 | PlasticsFoilAndCoatedPaperBagManufacturing e' um sub-atributo de PaperBagAndCoatedAndTreatedPaperManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2860-2860 | SurfaceCoatedPaperboardManufacturing e' um sub-atributo de PaperBagAndCoatedAndTreatedPaperManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2845-2845 | UncoatedPaperAndMultiwallBagManufacturing e' um sub-atributo de PaperBagAndCoatedAndTreatedPaperManufacturing |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44298-44298 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44297-44297 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44296-44296 |
![]() |
![]() |