No TPTP formula. May not be expressible in strict first order. |
naics.kif 7171-7171 |
所有其他家具用品商店 是 其他家居用品商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7164-7164 |
窗户处理店 是 其他家居用品商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43098-43098 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43097-43097 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43096-43096 |
|