|
|
  CarbonPaperAndInkedRibbonManufacturing
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6318-6321 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6316-6316 | 碳纸和墨带制造 是 办公用品除纸制造业外 的 subAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13170-13170 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13169-13169 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13168-13168 |
|
|
|