ConsumerElectronicsRepairAndMaintenance
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11821-11824 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11819-11819 | 消费电子产品维修和保养 是 电子和精密设备的维修和保养 的 subAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16854-16854 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16853-16853 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16852-16852 |