No TPTP formula. May not be expressible in strict first order. |
naics.kif 11332-11332 |
其他观众体育 是 观众体育 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11326-11326 |
赛道 是 观众体育 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11319-11319 |
运动队和俱乐部 是 观众体育 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54588-54588 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54587-54587 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54586-54586 |
|