No TPTP formula. May not be expressible in strict first order. |
naics.kif 7633-7633 |
爱好玩具和游戏商店 是 体育用品爱好和乐器商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7646-7646 |
乐器和用品商店 是 体育用品爱好和乐器商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7639-7639 |
缝纫针线活和单品商店 是 体育用品爱好和乐器商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7627-7627 |
体育用品商店 是 体育用品爱好和乐器商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54714-54714 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54713-54713 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54712-54712 |
|