|
|
  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 | 妇女和婴儿剪裁和缝制服装承包商 是 剪裁和缝制服装承包商 的 subAttribute |
| 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 |
|
|
|