![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2340-2343 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2338-2338 | WomensAndGirlsCutAndSewApparelManufacturing est un sous-attribut de CutAndSewApparelManufacturing |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2355-2355 | WomensAndGirlsCutAndSewBlouseAndShirtManufacturing est un sous-attribut de WomensAndGirlsCutAndSewApparelManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2363-2363 | WomensAndGirlsCutAndSewDressManufacturing est un sous-attribut de WomensAndGirlsCutAndSewApparelManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2345-2345 | WomensAndGirlsCutAndSewLingerieLoungewearAndNightwearManufacturing est un sous-attribut de WomensAndGirlsCutAndSewApparelManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2379-2379 | WomensAndGirlsCutAndSewOtherOuterwearManufacturing est un sous-attribut de WomensAndGirlsCutAndSewApparelManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2370-2370 | WomensAndGirlsCutAndSewSuitCoatTailoredJacketAndSkirtManufacturing est un sous-attribut de WomensAndGirlsCutAndSewApparelManufacturing |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63309-63309 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63308-63308 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63307-63307 |
![]() |
![]() |