No TPTP formula. May not be expressible in strict first order. |
naics.kif 7653-7653 |
预定期刊和音乐商店 是 体育用品爱好书籍和音乐商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7620-7620 |
体育用品爱好和乐器商店 是 体育用品爱好书籍和音乐商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54720-54720 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54719-54719 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54718-54718 |
|