No TPTP formula. May not be expressible in strict first order. |
naics.kif 6578-6578 |
电气设备和设备布线用品和建筑材料批发商 是 电器批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6588-6588 |
电器电视和收音机批发商 是 电器批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6595-6595 |
其他电子零件和设备批发商 是 电器批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21516-21516 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21515-21515 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21514-21514 |
|