No TPTP formula. May not be expressible in strict first order. |
naics.kif 7767-7767 |
花店 是 杂货店零售商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7785-7785 |
办公用品文具和礼品店 是 杂货店零售商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7824-7824 |
其他杂货店零售商 是 杂货店零售商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7818-7818 |
二手商品店 是 杂货店零售商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38015-38015 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38014-38014 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38013-38013 |
|