No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1753-1753 |
家具和家居批发商 是 家具业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1754-1754 |
家具和家居用品商店 是 家具业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1752-1752 |
家具及相关产品制造 是 家具业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25274-25274 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25273-25273 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25272-25272 |
|