No TPTP formula. May not be expressible in strict first order. |
naics.kif 7368-7368 |
鱼类和海鲜市场 是 特色食品店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7375-7375 |
水果和蔬菜市场 是 特色食品店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7361-7361 |
肉类市场 是 特色食品店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7382-7382 |
其他特色食品店 是 特色食品店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54582-54582 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54581-54581 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54580-54580 |
|