![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3278-3281 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3276-3276 | ArtificialAndSyntheticFibersAndFilamentsManufacturing est un sous-attribut de ResinSyntheticRubberAndArtificialAndSyntheticFibersAndFilamentsManufacturing |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3283-3283 | CellulosicOrganicFiberManufacturing est un sous-attribut de ArtificialAndSyntheticFibersAndFilamentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3290-3290 | NoncellulosicOrganicFiberManufacturing est un sous-attribut de ArtificialAndSyntheticFibersAndFilamentsManufacturing |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8520-8520 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8519-8519 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8518-8518 |
![]() |
![]() |