![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3525-3528 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3523-3523 | UnsupportedPlasticsFilmSheetAndBagManufacturing est un sous-attribut de PlasticsProductManufacturing |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3530-3530 | UnsupportedPlasticsBagManufacturing est un sous-attribut de UnsupportedPlasticsFilmSheetAndBagManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3545-3545 | UnsupportedPlasticsFilmAndSheetExceptPackagingManufacturing est un sous-attribut de UnsupportedPlasticsFilmSheetAndBagManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3537-3537 | UnsupportedPlasticsPackagingFilmAndSheetManufacturing est un sous-attribut de UnsupportedPlasticsFilmSheetAndBagManufacturing |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60572-60572 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60571-60571 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60570-60570 |
![]() |
![]() |