|
|
  CableAndOtherProgramDistribution
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9068-9071 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9066-9066 | 电缆和其他程序分发 是 有线网络和程序分发 的 subAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12583-12583 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12582-12582 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12581-12581 |
|
|
|