![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3605-3607 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3603-3603 | OtherPlasticsProductManufacturing est un sous-attribut de PlasticsProductManufacturing |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3623-3623 | AllOtherPlasticsProductManufacturing est un sous-attribut de OtherPlasticsProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3609-3609 | PlasticsPlumbingFixtureManufacturing est un sous-attribut de OtherPlasticsProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3616-3616 | ResilientFloorCoveringManufacturing est un sous-attribut de OtherPlasticsProductManufacturing |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43386-43386 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43385-43385 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43384-43384 |
![]() |
![]() |