No TPTP formula. May not be expressible in strict first order. |
naics.kif 7401-7401 |
所有其他特色食品店 是 其他特色食品店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7388-7388 |
烘焙店 是 其他特色食品店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7394-7394 |
糖果和坚果店 是 其他特色食品店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43506-43506 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43505-43505 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43504-43504 |
|