No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1753-1753 |
子屬性 家具和家居批發商 and 家具業 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1754-1754 |
子屬性 家具和家居用品商店 and 家具業 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1752-1752 |
子屬性 家具及相關產品製造 and 家具業 |
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 |
|