No TPTP formula. May not be expressible in strict first order. |
naics.kif 7738-7738 |
所有其他百货商店 是 其他百货商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7730-7730 |
仓库俱乐部和超市 是 其他百货商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43050-43050 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43049-43049 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43048-43048 |
|