|
|
  WomensGirlsAndInfantsCutAndSewApparelContractors
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 2279-2283 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 2277-2277 | Womens girls and infants cut and sew apparel contractors is a subattribute of cut and sew apparel contractors |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63363-63363 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63362-63362 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63361-63361 |
|
|
|