No TPTP formula. May not be expressible in strict first order. |
naics.kif 7200-7200 |
家电和其他电子产品商店 是 电子和电器商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7228-7228 |
相机和摄影用品商店 是 电子和电器商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7221-7221 |
电脑和软件商店 是 电子和电器商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21738-21738 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21737-21737 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21736-21736 |
|